Latour, Anna L. D.; Babaki, Behrouz; Fokkinga, Daniël; Anastacio, Marie; Hoos, Holger H.; Nijssen, Siegfried Exact stochastic constraint optimisation with applications in network analysis. (English) Zbl 07482902 Artif. Intell. 304, Article ID 103650, 38 p. (2022). MSC: 68Txx PDFBibTeX XMLCite \textit{A. L. D. Latour} et al., Artif. Intell. 304, Article ID 103650, 38 p. (2022; Zbl 07482902) Full Text: DOI
Lindauer, Marius; Hoos, Holger; Leyton-Brown, Kevin; Schaub, Torsten Automatic construction of parallel portfolios via algorithm configuration. (English) Zbl 1404.68144 Artif. Intell. 244, 272-290 (2017). MSC: 68T20 68W01 68W10 PDFBibTeX XMLCite \textit{M. Lindauer} et al., Artif. Intell. 244, 272--290 (2017; Zbl 1404.68144) Full Text: DOI Link
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
Bischl, Bernd; Kerschke, Pascal; Kotthoff, Lars; Lindauer, Marius; Malitsky, Yuri; Fréchette, Alexandre; Hoos, Holger; Hutter, Frank; Leyton-Brown, Kevin; Tierney, Kevin; Vanschoren, Joaquin ASlib: a benchmark library for algorithm selection. (English) Zbl 1357.68202 Artif. Intell. 237, 41-58 (2016). MSC: 68T20 68T05 PDFBibTeX XMLCite \textit{B. Bischl} et al., Artif. Intell. 237, 41--58 (2016; Zbl 1357.68202) 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
Hutter, Frank; Xu, Lin; Hoos, Holger H.; Leyton-Brown, Kevin Algorithm runtime prediction: methods & evaluation. (English) Zbl 1334.68185 Artif. Intell. 206, 79-111 (2014). MSC: 68T05 68Q25 90C11 90C27 PDFBibTeX XMLCite \textit{F. Hutter} et al., Artif. Intell. 206, 79--111 (2014; Zbl 1334.68185) Full Text: DOI arXiv
Hoos, Holger H.; Stützle, Thomas Towards a characterisation of the behaviour of stochastic local search algorithms for SAT. (English) Zbl 0996.68069 Artif. Intell. 112, No. 1-2, 213-232 (1999). MSC: 68Q25 68T20 PDFBibTeX XMLCite \textit{H. H. Hoos} and \textit{T. Stützle}, Artif. Intell. 112, No. 1--2, 213--232 (1999; Zbl 0996.68069) Full Text: DOI