On SAT Modulo Theories and Optimization Problems.

Robert Nieuwenhuis Albert Oliveras

Published in: SAT (2006)

Keyphrases

modulo theories
optimization problems
answer set programming
evolutionary algorithm
satisfiability modulo theories
stable model semantics
metaheuristic
objective function
cost function
traveling salesman problem
logic programs
combinatorial optimization
answer sets
np complete
decision rules