Effective problem solving using SAT solvers.

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

Published in: CoRR (2019)

Keyphrases

sat solvers
highly efficient
orders of magnitude
search tree
max sat
sat solving
sat problem
propositional satisfiability
document retrieval
search strategies
temporal logic
sat instances