Improved Conflict-Clause Minimization Leads to Improved Propositional Proof Traces.

Allen Van Gelder

Published in: SAT (2009)

Keyphrases

machine learning
propositional logic
genetic algorithm
website
objective function
lower bound
satisfiability testing