An Explanation-Based Constraint Debugger

Hardware and Software: Verification and Testing - Lecture Notes in Computer Science ◽

10.1007/978-3-642-19237-1_8 ◽

2011 ◽

pp. 52-56 ◽

Cited By ~ 2

Author(s):

Aaron Rich ◽

Giora Alexandron ◽

Reuven Naveh

Download Full-text