A Modular Approach to MaxSAT Modulo Theories.

Alessandro Cimatti Alberto Griggio Bastiaan Joost Schaafsma Roberto Sebastiani

Published in: SAT (2013)

Keyphrases

modulo theories
answer set programming
upper bound
sat solvers
satisfiability modulo theories
combinatorial optimization
stable model semantics
learning algorithm
artificial intelligence
natural language