LoCEG: Local Preprocessing in SAT-Solving through Counter-Example Generation

by S. Burg, P. Heckeler, S. Huster, H. Eichelberger, J. Behrend, J. Ruf, T. Kropf, and O. Bringmann
In Workshop Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen 17, 2014.