Resolution-Based Certificate Extraction for QBF

A. Niemetz, M. Preiner, F. Lonsing, M. Seidl, A. Biere:
"Resolution-Based Certificate Extraction for QBF";
Vortrag: Int. Conference on Theory and Applications of Satisfiability Testing, Trento; 17.06.2012 - 20.06.2012; in:"Proceedings of the International Conference on Theory and Applications of Satisfiability Testing (SAT 2012)", Springer LNCS, 7317 (2012), ISBN: 978-3-642-31611-1; S. 430 - 435.

[ Publication Database ]