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:31 - 3 self