EPR-Based Bounded Model Checking at Word Level.

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

Browse the full CADE paper archive.