Finding Minimal Unsatisfiable Cores of Declarative Specifications.

Emina Torlak Felix Sheng-Ho Chang Daniel Jackson

Published in: FM (2008)

Keyphrases

unsatisfiable cores
max sat
hidden structure
boolean satisfiability
attribute grammars
knowledge representation
domain independent
domain specific