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