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
</>
industrial applications
decision problems