Encoding industrial hardware verification problems into effectively propositional logic.

Moshe Emmer, Zurab Khasidashvili, Konstantin Korovin, Andrei Voronkov

Browse the full FMCAD paper archive.