Goultiaeva, Alexandra; Bacchus, Fahiem 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 \textit{A. Goultiaeva} and \textit{F. Bacchus}, Lect. Notes Comput. Sci. 7317, 30--43 (2012; Zbl 1273.68348) Full Text: DOI
Goultiaeva, Alexandra; Bacchus, Fahiem 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 \textit{A. Goultiaeva} and \textit{F. Bacchus}, Lect. Notes Comput. Sci. 6175, 333--339 (2010; Zbl 1306.68158) Full Text: DOI