Architecting Solvers for SAT Modulo Theories: Nelson-Oppen with DPLL.

Sava Krstic Amit Goel

Published in: FroCoS (2007)

Keyphrases

satisfiability modulo theories
modulo theories
sat solvers
sat instances
propositional satisfiability
orders of magnitude
sat solving
sat problem
boolean satisfiability
max sat
clause learning
search strategies
constraint satisfaction
search space
search tree
answer set programming
boolean formula