Debugging Overconstrained Declarative Models Using Unsatisfiable Cores (2003)

by Ilya Shlyakhter , Robert Seater , Daniel Jackson , Manu Sridharan , Mana Taghdiri
Venue:In 18th IEEE International Conference on Automated Software Engineering
Citations:22 - 1 self