Sign in

Finding Minimal Unsatisfiable Cores of Declarative Specifications.

Emina TorlakFelix Sheng-Ho ChangDaniel Jackson
Published in: FM (2008)
Keyphrases
  • unsatisfiable cores
  • max sat
  • hidden structure
  • boolean satisfiability
  • attribute grammars
  • knowledge representation
  • domain independent
  • domain specific