Sign in
On CDCL-Based Proof Systems with the Ordered Decision Strategy.
Nathan Mull
Shuo Pang
Alexander A. Razborov
Published in:
SAT (2020)
Keyphrases
</>
theorem prover
computational complexity
sat solvers