Hutter, Frank; Lindauer, Marius; Balint, Adrian; Bayless, Sam; Hoos, Holger; Leyton-Brown, Kevin The configurable SAT solver challenge (CSSC). (English) Zbl 1402.68161 Artif. Intell. 243, 1-25 (2017). MSC: 68T20 PDFBibTeX XMLCite \textit{F. Hutter} et al., Artif. Intell. 243, 1--25 (2017; Zbl 1402.68161) Full Text: DOI arXiv
KhudaBukhsh, Ashiqur R.; Xu, Lin; Hoos, Holger H.; Leyton-Brown, Kevin SATenstein: automatically building local search SAT solvers from components. (English) Zbl 1351.68255 Artif. Intell. 232, 20-42 (2016). MSC: 68T20 68T15 PDFBibTeX XMLCite \textit{A. R. KhudaBukhsh} et al., Artif. Intell. 232, 20--42 (2016; Zbl 1351.68255) Full Text: DOI