Effective Problem Solving Using SAT Solvers.

Curtis Bright Jürgen Gerhard Ilias S. Kotsireas Vijay Ganesh

Published in: MC (2019)

Keyphrases

sat solvers
constraint satisfaction
sat solving
search strategies
boolean satisfiability
co occurrence
max sat
propositional satisfiability
evolutionary algorithm
simulated annealing
orders of magnitude
search tree
highly efficient
symmetry breaking