Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories.

Alessandro Cimatti Alberto Griggio Roberto Sebastiani

Published in: J. Artif. Intell. Res. (2011)

Keyphrases

unsatisfiable cores
satisfiability modulo theories
hidden structure
max sat
modulo theories
sat solvers
answer set programming
evolutionary algorithm
boolean satisfiability
special case