Moshe Emmer

According to our database, Moshe Emmer authored at least 2 papers between 2010 and 2012.

Collaborative distances:

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

2012

EPR-Based Bounded Model Checking at Word Level.

Moshe Emmer, Zurab Khasidashvili, Konstantin Korovin, Christoph Sticksel, Andrei Voronkov

Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012

2010

Encoding industrial hardware verification problems into effectively propositional logic.

Moshe Emmer, Zurab Khasidashvili, Konstantin Korovin, Andrei Voronkov

Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010