On CDCL-Based Proof Systems with the Ordered Decision Strategy.

Nathan Mull Shuo Pang Alexander A. Razborov

Published in: SIAM J. Comput. (2022)

Keyphrases

industrial applications
decision problems