Biere, Armin; Lonsing, Florian; Seidl, Martina Blocked clause elimination for QBF. (English) Zbl 1341.68181 Bjørner, Nikolaj (ed.) et al., Automated deduction – CADE-23. 23rd international conference on automated deduction, Wrocław, Poland, July 31 – August 5, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22437-9/pbk; 978-3-642-22438-6/ebook). Lecture Notes in Computer Science 6803. Lecture Notes in Artificial Intelligence, 101-115 (2011). MSC: 68T15 03B05 PDFBibTeX XMLCite \textit{A. Biere} et al., Lect. Notes Comput. Sci. 6803, 101--115 (2011; Zbl 1341.68181) Full Text: DOI
Lonsing, Florian; Biere, Armin Failed literal detection for QBF. (English) Zbl 1330.68118 Sakallah, Karem A. (ed.) et al., Theory and applications of satisfiability testing – SAT 2011. 14th international conference, SAT 2011, Ann Arbor, MI, USA, June 19–22, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21580-3/pbk). Lecture Notes in Computer Science 6695, 259-272 (2011). MSC: 68Q25 03B05 68T15 68T20 PDFBibTeX XMLCite \textit{F. Lonsing} and \textit{A. Biere}, Lect. Notes Comput. Sci. 6695, 259--272 (2011; Zbl 1330.68118) Full Text: DOI