Login / Signup
Random CNFs require spacious Polynomial Calculus refutations.
Massimo Lauria
Published in:
Electron. Colloquium Comput. Complex. (2009)
Keyphrases
</>
proof search
search algorithm
evolutionary algorithm
temporal logic
theorem prover
complex valued