Pueblo: A Modern Pseudo-Boolean SAT Solver.

Hossein M. Sheini Karem A. Sakallah

Published in: DATE (2005)

Keyphrases

sat solvers
pseudo boolean
propositional satisfiability
symmetry breaking
orders of magnitude
constraint satisfaction
sat problem
sat instances
search tree
max sat
search strategies
boolean satisfiability
sat solving
combinatorial problems
search space
special case
clause learning
search strategy