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.
No references recorded for this publication.
No citations of this publication recorded.