@inproceedings{SPSHJJTO032014,
               author = {S. Burg, P. Heckeler, S. Huster, H. Eichelberger, J. Behrend, J. Ruf, T. Kropf, O. Bringmann},
               title = {LoCEG: Local Preprocessing in SAT-Solving through Counter-Example Generation},
               booktitle = {Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen },
               year = {2014},
               month = {03},
               volume = {17},
               series = {MBMV},
               organization = {IBM Deutschland}
}