Amit Metodi

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

Amit Metodi, Reuven Naveh, R. Naveh, 2013, CP.

Coverage Driven Distribution of Constrained Random Stimuli

Amit Metodi, Marat Teplitsky, Raz Azaria, 2015 .

On Coverage and Debug in Random Stimulus Generation

Amit Metodi, Marat Teplitsky, Israel marat, 2014 .

Compiling finite domain constraints to SAT with BEE* pdf

Michael Codish, Yoav Fekete, Amit Metodi, 2012, Theory and Practice of Logic Programming.

Logic Programming with Max-Clique and its Application to Graph Coloring (Tool Description)

Michael Frank, Michael Codish, Amit Metodi, 2017, ICLP.