Generic CDCL - A Formalization of Modern Propositional Satisfiability Solvers.

Steffen Hölldobler Norbert Manthey Tobias Philipp Peter Steinke

Published in: YSIP (2014)

Keyphrases

sat solvers
clause learning
propositional logic
sat encodings
propositional satisfiability
max sat
boolean formula
first order logic
constraint satisfaction
objective function
search space
knowledge representation
search tree
search strategies
multi valued