×

Found 2 Documents (Results 1–2)

Off the trail: re-examining the CDCL algorithm. (English) Zbl 1273.68348

Cimatti, Alessandro (ed.) et al., Theory and applications of satisfiability testing – SAT 2012. 15th international conference, Trento, Italy, June 17–20, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31611-1/pbk). Lecture Notes in Computer Science 7317, 30-43 (2012).
MSC:  68T20 90C09
PDFBibTeX XMLCite
Full Text: DOI

Exploiting circuit representations in QBF solving. (English) Zbl 1306.68158

Strichman, Ofer (ed.) et al., Theory and applications of satisfiability testing – SAT 2010. 13th international conference, SAT 2010, Edinburgh, UK, July 11–14, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14185-0/pbk). Lecture Notes in Computer Science 6175, 333-339 (2010).
MSC:  68T20 68Q25 94C10
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Year of Publication

Main Field

all top 3

Software