×

Found 3 Documents (Results 1–3)

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
Full Text: DOI

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
Full Text: DOI

Abstraction-based algorithm for 2QBF. (English) Zbl 1330.68115

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, 230-244 (2011).
MSC:  68Q25 03B05 68T20
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Main Field

all top 3

Software