Login / Signup
Derandomization vs Refutation: A Unified Framework for Characterizing Derandomization.
Lijie Chen
Roei Tell
Ryan Williams
Published in:
Electron. Colloquium Comput. Complex. (2023)
Keyphrases
</>
theorem prover
database
object oriented
prior knowledge
domain knowledge
utility function