Exploring Predictability of SAT/SMT Solvers.

Robert Brummayer Duckki Oe Aaron Stump

Published in: EMSQMS@IJCAR (2010)

Keyphrases

modulo theories
answer set programming
satisfiability modulo theories
sat solvers
sat solving
sat instances
logic programs
stable model semantics
logic programming
answer sets
backtracking search
orders of magnitude
satisfiability problem
propositional satisfiability