On CDCL-based proof systems with the ordered decision strategy.

Nathan Mull Shuo Pang Alexander A. Razborov

Published in: CoRR (2019)

Keyphrases

sat solvers
genetic algorithm
objective function
dynamic programming