Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories.

Alessandro Cimatti Alberto Griggio Roberto Sebastiani

Published in: CoRR (2014)

Keyphrases

unsatisfiable cores
satisfiability modulo theories
max sat
hidden structure
answer set programming
boolean satisfiability
modulo theories
linear programming
sat solvers