Sciweavers

KBSE
2003
IEEE

Debugging Overconstrained Declarative Models Using Unsatisfiable Cores

14 years 5 months ago
Debugging Overconstrained Declarative Models Using Unsatisfiable Cores
Ilya Shlyakhter, Robert Seater, Daniel Jackson, Ma
Added 05 Jul 2010
Updated 05 Jul 2010
Type Conference
Year 2003
Where KBSE
Authors Ilya Shlyakhter, Robert Seater, Daniel Jackson, Manu Sridharan, Mana Taghdiri
Comments (0)