Kautz, Henry; Selman, Bart The state of SAT. (English) Zbl 1121.68108 Discrete Appl. Math. 155, No. 12, 1514-1524 (2007). MSC: 68T20 PDFBibTeX XMLCite \textit{H. Kautz} and \textit{B. Selman}, Discrete Appl. Math. 155, No. 12, 1514--1524 (2007; Zbl 1121.68108) Full Text: DOI
Kautz, Henry; Ruan, Yongshao; Achlioptas, Dimitris; Gomes, Carla; Selman, Bart; Stickel, Mark Balance and filtering in structured satisfiable problems. (Preliminary report). (English) Zbl 0985.90509 Kautz, Henry (ed.) et al., LICS 2001 workshop on theory and application of satisfiability testing (SAT 2001). Boston, MA, USA, June 14-15, 2001. Amsterdam: Elsevier, Electron. Notes Discrete Math. 9, no pag., electronic only (2001). MSC: 90C15 90B40 PDFBibTeX XMLCite \textit{H. Kautz} et al., Electron. Notes Discrete Math. 9, no pag. (2001; Zbl 0985.90509)