Sign in
On CDCL-Based Proof Systems with the Ordered Decision Strategy.
Nathan Mull
Shuo Pang
Alexander A. Razborov
Published in:
SIAM J. Comput. (2022)
Keyphrases
</>
linear programming
heuristic search
theorem prover
theorem proving