Reuven Naveh

According to our database, Reuven Naveh authored at least 2 papers between 2009 and 2013.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2013

Beyond Feasibility: CP Usage in Constrained-Random Functional Hardware Verification.

Reuven Naveh, Amit Metodi

Proceedings of the Principles and Practice of Constraint Programming, 2013

2009

An Explanation-Based Constraint Debugger.

Aaron Rich, Giora Alexandron, Reuven Naveh

Proceedings of the Hardware and Software: Verification and Testing, 2009