Sign in
Debugging Overconstrained Declarative Models Using Unsatisfiable Cores.
Ilya Shlyakhter
Robert Seater
Daniel Jackson
Manu Sridharan
Mana Taghdiri
Published in:
ASE (2003)
Keyphrases
</>
efficient learning