An Explanation-Based Constraint Debugger. - Aaron Rich; Giora Alexandron; Reuven Naveh (Haifa Verification Conference, 2009)

Beyond Feasibility: CP Usage in Constrained-Random Functional Hardware Verification. - Reuven Naveh; Amit Metodi (CP, 2013)