Sven Reimer, Florian Pigorsch, Christoph Scholl, Bernd Becker. Enhanced Integration of QBF Solving Techniques. In Jens Brandt, Klaus Schneider, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Kaiserslautern, Germany, March 5-7, 2012. pages 133-143, Verlag Dr. Kovac, 2012.
@inproceedings{ReimerPSB12,
title = {Enhanced Integration of QBF Solving Techniques},
author = {Sven Reimer and Florian Pigorsch and Christoph Scholl and Bernd Becker},
year = {2012},
researchr = {https://researchr.org/publication/ReimerPSB12},
cites = {0},
citedby = {0},
pages = {133-143},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Kaiserslautern, Germany, March 5-7, 2012},
editor = {Jens Brandt and Klaus Schneider},
publisher = {Verlag Dr. Kovac},
}