Login / Signup
SAT Modulo the Theory of Linear Arithmetic: Exact, Inexact and Commercial Solvers.
Germain Faure
Robert Nieuwenhuis
Albert Oliveras
Enric Rodríguez-Carbonell
Published in:
SAT (2008)
Keyphrases
</>
sat solvers
modulo theories
sat solving
satisfiability modulo theories
quantifier free
answer set programming
theoretical framework
sat instances
genetic algorithm
search algorithm
computational model
search strategies
lower bound
phase transition
integral equation