Generalizing Boolean Satisfiability III: Implementation

Heidi E. Dixon Matthew L. Ginsberg David K. Hofer Eugene M. Luks Andrew J. Parkes

Published in: CoRR (2011)

Keyphrases

boolean satisfiability
sat solvers
probabilistic planning
sat solving
evolutionary algorithm
branch and bound algorithm
randomly generated
max sat
symmetry breaking
boolean optimization
lower bound