×

zbMATH — the first resource for mathematics

Hoos, Holger H.

Compute Distance To:
Author ID: hoos.holger-h Recent zbMATH articles by "Hoos, Holger H."
Published as: Hoos, Holger H.; Hoos, Holger; Hoos, H. H.
External Links: MGP · ORCID · dblp
Documents Indexed: 39 Publications since 1999, including 5 Books

Publications by Year

Citations contained in zbMATH Open

34 Publications have been cited 523 times in 394 Documents Cited by Year
Stochastic local search. Foundations and applications. Zbl 1126.68032
Hoos, Holger H.; Stützle, Thomas
89
2005
CP-nets: a tool for representing and reasoning with conditional ceteris paribus preference statements. Zbl 1080.68685
Boutilier, Craig; Brafman, Ronen I.; Domshlak, Carmel; Hoos, Holger H.; Poole, David
88
2004
SATzilla: portfolio-based algorithm selection for SAT. Zbl 1182.68272
Xu, L.; Hutter, F.; Hoos, H. H.; Leyton-Brown, K.
55
2008
Paramils: an automatic algorithm configuration framework. Zbl 1192.68831
Hutter, F.; Hoos, H. H.; Leyton-Brown, K.; Stuetzle, T.
49
2009
Dynamic local search for the maximum clique problem. Zbl 1182.68065
Pullan, W.; Hoos, H. H.
27
2006
SATLIB: An online resource for research on SAT. Zbl 0979.68128
Hoos, Holger H.; Stützle, Thomas
25
2000
Algorithm runtime prediction: methods & evaluation. Zbl 1334.68185
Hutter, Frank; Xu, Lin; Hoos, Holger H.; Leyton-Brown, Kevin
22
2014
UBCSAT: An implementation and experimentation environment for SLS algorithms for SAT and MAX-SAT. Zbl 1122.68620
Tompkins, Dave A. D.; Hoos, Holger H.
17
2005
The max-min ant system and local search for combinatorial optimization problems. Zbl 0970.90083
Stützle, Thomas; Hoos, Holger
16
1999
Local search algorithms for SAT: An empirical evaluation. Zbl 0961.68039
Hoos, Holger H.; Stützle, Thomas
16
2000
Towards a characterisation of the behaviour of stochastic local search algorithms for SAT. Zbl 0996.68069
Hoos, Holger H.; Stützle, Thomas
15
1999
Understanding random SAT: Beyond the clauses-to-variables ratio. Zbl 1152.68569
Nudelman, Eugene; Leyton-Brown, Kevin; Hoos, Holger H.; Devkar, Alex; Shoham, Yoav
15
2004
ASlib: a benchmark library for algorithm selection. Zbl 1357.68202
Bischl, Bernd; Kerschke, Pascal; Kotthoff, Lars; Lindauer, Marius; Malitsky, Yuri; Fréchette, Alexandre; Hoos, Holger; Hutter, Frank; Leyton-Brown, Kevin; Tierney, Kevin; Vanschoren, Joaquin
10
2016
Stochastic local search algorithms for DNA word design. Zbl 1026.68564
Tulpan, Dan C.; Hoos, Holger H.; Condon, Anne E.
9
2003
SATenstein: automatically building local search SAT solvers from components. Zbl 1351.68255
KhudaBukhsh, Ashiqur R.; Xu, Lin; Hoos, Holger H.; Leyton-Brown, Kevin
8
2016
Performance prediction and automated tuning of randomized and parametric algorithms. Zbl 1160.68551
Hutter, Frank; Hamadi, Youssef; Hoos, Holger H.; Leyton-Brown, Kevin
7
2006
The configurable SAT solver challenge (CSSC). Zbl 1402.68161
Hutter, Frank; Lindauer, Marius; Balint, Adrian; Bayless, Sam; Hoos, Holger; Leyton-Brown, Kevin
6
2017
Captain Jack: new variable selection heuristics in local search for SAT. Zbl 1330.68277
Tompkins, Dave A. D.; Balint, Adrian; Hoos, Holger H.
5
2011
Hierarchical hardness models for SAT. Zbl 1145.68534
Xu, Lin; Hoos, Holger H.; Leyton-Brown, Kevin
5
2007
claspfolio 2: advances in algorithm selection for answer set programming. Zbl 1307.68016
Hoos, Holger; Lindauer, Marius; Schaub, Torsten
5
2014
Using stochastic local search to solve quantified Boolean formulae. Zbl 1273.68346
Gent, Ian P.; Hoos, Holger H.; Rowley, Andrew G. D.; Smyth, Kevin
4
2003
From RNA secondary structure to coding theory: A combinatorial approach. Zbl 1026.68546
Heitsch, Christine E.; Condon, Anne E.; Hoos, Holger H.
4
2003
Analysing the run-time behaviour of iterated local search for the travelling salesman problem. Zbl 1049.90080
Stützle, Thomas; Hoos, Holger H.
4
2002
aspeed: solver scheduling via answer set programming. Zbl 1379.68283
Hoos, Holger; Kaminski, Roland; Lindauer, Marius; Schaub, Torsten
4
2015
Dynamic scoring functions with variable expressions: new SLS methods for solving SAT. Zbl 1306.68176
Tompkins, Dave A. D.; Hoos, Holger H.
3
2010
Automatic construction of parallel portfolios via algorithm configuration. Zbl 1404.68144
Lindauer, Marius; Hoos, Holger; Leyton-Brown, Kevin; Schaub, Torsten
3
2017
aspeed: ASP-based solver scheduling. Zbl 1281.68206
Hoos, Holger; Kaminski, Roland; Schaub, Torsten; Schneider, Marius
2
2012
Efficient benchmarking of algorithm configurators via model-based surrogates. Zbl 1457.68341
Eggensperger, Katharina; Lindauer, Marius; Hoos, Holger H.; Hutter, Frank; Leyton-Brown, Kevin
2
2018
A survey on semi-supervised learning. Zbl 1441.68215
van Engelen, Jesper E.; Hoos, Holger H.
2
2020
On the empirical scaling of run-time for finding optimal solutions to the travelling salesman problem. Zbl 1338.90341
Hoos, Holger H.; Stützle, Thomas
2
2014
Sequential model-based parameter optimization: an experimental investigation of automated and interactive approaches. Zbl 1206.68363
Hutter, Frank; Bartz-Beielstein, Thomas; Hoos, Holger H.; Leyton-Brown, Kevin; Murphy, Kevin P.
1
2010
A note on improving the performance of approximation algorithms for radiation therapy. Zbl 1260.68462
Biedl, Therese; Durocher, Stephane; Hoos, Holger H.; Luan, Shuang; Saia, Jared; Young, Maxwell
1
2011
Stochastic local search - methods, models, applications (Diss., TU Darmstadt, 1998). Zbl 0999.68050
Hoos, Holger H.
1
1999
Theory and applications of satisfiability testing. 7th international conference, SAT 2004, Vancouver, BC, Canada, May 10–13, 2004. Revised selected papers. Zbl 1075.68002
Hoos, Holger H. (ed.); Mitchell, David G. (ed.)
1
2005
A survey on semi-supervised learning. Zbl 1441.68215
van Engelen, Jesper E.; Hoos, Holger H.
2
2020
Efficient benchmarking of algorithm configurators via model-based surrogates. Zbl 1457.68341
Eggensperger, Katharina; Lindauer, Marius; Hoos, Holger H.; Hutter, Frank; Leyton-Brown, Kevin
2
2018
The configurable SAT solver challenge (CSSC). Zbl 1402.68161
Hutter, Frank; Lindauer, Marius; Balint, Adrian; Bayless, Sam; Hoos, Holger; Leyton-Brown, Kevin
6
2017
Automatic construction of parallel portfolios via algorithm configuration. Zbl 1404.68144
Lindauer, Marius; Hoos, Holger; Leyton-Brown, Kevin; Schaub, Torsten
3
2017
ASlib: a benchmark library for algorithm selection. Zbl 1357.68202
Bischl, Bernd; Kerschke, Pascal; Kotthoff, Lars; Lindauer, Marius; Malitsky, Yuri; Fréchette, Alexandre; Hoos, Holger; Hutter, Frank; Leyton-Brown, Kevin; Tierney, Kevin; Vanschoren, Joaquin
10
2016
SATenstein: automatically building local search SAT solvers from components. Zbl 1351.68255
KhudaBukhsh, Ashiqur R.; Xu, Lin; Hoos, Holger H.; Leyton-Brown, Kevin
8
2016
aspeed: solver scheduling via answer set programming. Zbl 1379.68283
Hoos, Holger; Kaminski, Roland; Lindauer, Marius; Schaub, Torsten
4
2015
Algorithm runtime prediction: methods & evaluation. Zbl 1334.68185
Hutter, Frank; Xu, Lin; Hoos, Holger H.; Leyton-Brown, Kevin
22
2014
claspfolio 2: advances in algorithm selection for answer set programming. Zbl 1307.68016
Hoos, Holger; Lindauer, Marius; Schaub, Torsten
5
2014
On the empirical scaling of run-time for finding optimal solutions to the travelling salesman problem. Zbl 1338.90341
Hoos, Holger H.; Stützle, Thomas
2
2014
aspeed: ASP-based solver scheduling. Zbl 1281.68206
Hoos, Holger; Kaminski, Roland; Schaub, Torsten; Schneider, Marius
2
2012
Captain Jack: new variable selection heuristics in local search for SAT. Zbl 1330.68277
Tompkins, Dave A. D.; Balint, Adrian; Hoos, Holger H.
5
2011
A note on improving the performance of approximation algorithms for radiation therapy. Zbl 1260.68462
Biedl, Therese; Durocher, Stephane; Hoos, Holger H.; Luan, Shuang; Saia, Jared; Young, Maxwell
1
2011
Dynamic scoring functions with variable expressions: new SLS methods for solving SAT. Zbl 1306.68176
Tompkins, Dave A. D.; Hoos, Holger H.
3
2010
Sequential model-based parameter optimization: an experimental investigation of automated and interactive approaches. Zbl 1206.68363
Hutter, Frank; Bartz-Beielstein, Thomas; Hoos, Holger H.; Leyton-Brown, Kevin; Murphy, Kevin P.
1
2010
Paramils: an automatic algorithm configuration framework. Zbl 1192.68831
Hutter, F.; Hoos, H. H.; Leyton-Brown, K.; Stuetzle, T.
49
2009
SATzilla: portfolio-based algorithm selection for SAT. Zbl 1182.68272
Xu, L.; Hutter, F.; Hoos, H. H.; Leyton-Brown, K.
55
2008
Hierarchical hardness models for SAT. Zbl 1145.68534
Xu, Lin; Hoos, Holger H.; Leyton-Brown, Kevin
5
2007
Dynamic local search for the maximum clique problem. Zbl 1182.68065
Pullan, W.; Hoos, H. H.
27
2006
Performance prediction and automated tuning of randomized and parametric algorithms. Zbl 1160.68551
Hutter, Frank; Hamadi, Youssef; Hoos, Holger H.; Leyton-Brown, Kevin
7
2006
Stochastic local search. Foundations and applications. Zbl 1126.68032
Hoos, Holger H.; Stützle, Thomas
89
2005
UBCSAT: An implementation and experimentation environment for SLS algorithms for SAT and MAX-SAT. Zbl 1122.68620
Tompkins, Dave A. D.; Hoos, Holger H.
17
2005
Theory and applications of satisfiability testing. 7th international conference, SAT 2004, Vancouver, BC, Canada, May 10–13, 2004. Revised selected papers. Zbl 1075.68002
Hoos, Holger H.; Mitchell, David G.
1
2005
CP-nets: a tool for representing and reasoning with conditional ceteris paribus preference statements. Zbl 1080.68685
Boutilier, Craig; Brafman, Ronen I.; Domshlak, Carmel; Hoos, Holger H.; Poole, David
88
2004
Understanding random SAT: Beyond the clauses-to-variables ratio. Zbl 1152.68569
Nudelman, Eugene; Leyton-Brown, Kevin; Hoos, Holger H.; Devkar, Alex; Shoham, Yoav
15
2004
Stochastic local search algorithms for DNA word design. Zbl 1026.68564
Tulpan, Dan C.; Hoos, Holger H.; Condon, Anne E.
9
2003
Using stochastic local search to solve quantified Boolean formulae. Zbl 1273.68346
Gent, Ian P.; Hoos, Holger H.; Rowley, Andrew G. D.; Smyth, Kevin
4
2003
From RNA secondary structure to coding theory: A combinatorial approach. Zbl 1026.68546
Heitsch, Christine E.; Condon, Anne E.; Hoos, Holger H.
4
2003
Analysing the run-time behaviour of iterated local search for the travelling salesman problem. Zbl 1049.90080
Stützle, Thomas; Hoos, Holger H.
4
2002
SATLIB: An online resource for research on SAT. Zbl 0979.68128
Hoos, Holger H.; Stützle, Thomas
25
2000
Local search algorithms for SAT: An empirical evaluation. Zbl 0961.68039
Hoos, Holger H.; Stützle, Thomas
16
2000
The max-min ant system and local search for combinatorial optimization problems. Zbl 0970.90083
Stützle, Thomas; Hoos, Holger
16
1999
Towards a characterisation of the behaviour of stochastic local search algorithms for SAT. Zbl 0996.68069
Hoos, Holger H.; Stützle, Thomas
15
1999
Stochastic local search - methods, models, applications (Diss., TU Darmstadt, 1998). Zbl 0999.68050
Hoos, Holger H.
1
1999
all top 5

Cited by 849 Authors

24 Stützle, Thomas G.
10 Hoos, Holger H.
8 Lindauer, Marius
7 Cai, Shaowei
7 Hao, Jin-Kao
7 Prade, Henri M.
7 Wilson, Nic
6 Birattari, Mauro
6 Dorigo, Marco
6 Dubois, Didier
6 Leyton-Brown, Kevin
6 López-Ibáñez, Manuel
5 Hutter, Frank
5 Kaci, Souhila
5 Lang, Jérôme
5 Paquete, Luís F.
5 Smith-Miles, Kate A.
4 Dubois-Lacoste, Jérémie
4 Gomes, Carla P.
4 Labreuche, Christophe
4 Rossi, Francesca L.
4 Ruiz, Rubén
4 Schaerf, Andrea
4 Su, Kaile
4 Tierney, Kevin
4 Venable, Kristen Brent
3 Baatar, Davaatseren
3 Balaprakash, Prasanna
3 Burke, Edmund Kieran
3 Chiarandini, Marco
3 Di Gaspero, Luca
3 Dörner, Karl F.
3 Endriss, Ulle
3 Faliszewski, Piotr
3 Hadjali, Allel
3 Hahn, Peter M.
3 Hartl, Richard F.
3 Lodi, Andrea
3 Luo, Chuan
3 Malitsky, Yuri
3 Marques-Silva, João P.
3 Pardalos, Panos M.
3 Prestwich, Steven D.
3 Pullan, Wayne
3 Schiavinotto, Tommaso
3 Witt, Carsten
3 Wu, Qinghua
2 Almeder, Christian
2 Amadini, Roberto
2 Anai, Hirokazu
2 Apt, Krzysztof Rafal
2 Arai, Noriko H.
2 Arbelaez, Alejandro
2 Balint, Adrian
2 Batsyn, Mikhail V.
2 Ben Amor, Nahla
2 Berend, Daniel
2 Biere, Armin
2 Blum, Christian
2 Bonzon, Elise
2 Brickenstein, Michael
2 Cerutti, Federico
2 Chen, Jiehua
2 Chomicki, Jan
2 Codognet, Philippe
2 de Causmaecker, Patrick
2 Destercke, Sébastien
2 Detti, Paolo
2 Dilkina, Bistra
2 Domshlak, Carmel
2 Dorn, Britta
2 Dreyer, Alexander
2 Fernández, César C.
2 Fister, Iztok
2 Franzin, Alberto
2 Fukasaku, Ryoya
2 Fürnkranz, Johannes
2 Gabbrielli, Maurizio
2 Gagliolo, Matteo
2 Gao, Chao
2 Giacomin, Massimiliano
2 Giunchiglia, Enrico
2 Gouider, Héla
2 Grabisch, Michel
2 Gualandi, Stefano
2 Hall, Shane N.
2 He, Kun
2 Hirsch, Edward A.
2 Hottung, André
2 Hulianytskyi, L. F.
2 Hullermeier, Eyke
2 Iwane, Hidenao
2 Janičić, Predrag
2 Jiang, Hua
2 Kobayashi, Munehiro
2 Koriche, Frédéric
2 Kotthoff, Lars
2 Kovács, Zoltán
2 Krüger, Dominikus
2 Kudo, Jumma
...and 749 more Authors
all top 5

Cited in 83 Serials

41 Artificial Intelligence
36 Computers & Operations Research
30 European Journal of Operational Research
21 Annals of Mathematics and Artificial Intelligence
19 Annals of Operations Research
17 Constraints
15 Journal of Heuristics
14 Journal of Automated Reasoning
10 Theoretical Computer Science
8 Machine Learning
7 Information Sciences
7 Journal of Combinatorial Optimization
5 Discrete Applied Mathematics
5 Journal of Global Optimization
5 Theory and Practice of Logic Programming
5 JMMA. Journal of Mathematical Modelling and Algorithms
4 Applied Mathematics and Computation
4 International Journal of Approximate Reasoning
4 Computational Optimization and Applications
4 Optimization Letters
3 Fuzzy Sets and Systems
3 Synthese
3 Mathematical Social Sciences
3 Journal of Computer Science and Technology
3 International Journal of Intelligent Systems
3 Formal Methods in System Design
3 Natural Computing
3 Journal of Applied Logic
3 Discrete Optimization
3 Mathematical Programming Computation
3 Statistics and Computing
2 Information Processing Letters
2 Journal of Mathematical Psychology
2 Algorithmica
2 Mathematical Programming. Series A. Series B
2 Cybernetics and Systems Analysis
2 INFORMS Journal on Computing
2 International Journal of Applied Mathematics and Computer Science
2 Mathematics in Computer Science
1 Discrete Mathematics
1 Journal of the Franklin Institute
1 Journal of Mathematical Biology
1 Journal of Statistical Physics
1 Journal of Computer and System Sciences
1 Journal of Economic Theory
1 Journal of Pure and Applied Algebra
1 Mathematics and Computers in Simulation
1 Programming and Computer Software
1 SIAM Journal on Computing
1 Theoretical Population Biology
1 Theory and Decision
1 International Journal of Production Research
1 Social Choice and Welfare
1 Order
1 Journal of Symbolic Computation
1 Information and Computation
1 Journal of Parallel and Distributed Computing
1 AI Communications
1 MSCS. Mathematical Structures in Computer Science
1 International Journal of Computer Mathematics
1 Computational Statistics and Data Analysis
1 Journal of Logic, Language and Information
1 Journal of Mathematical Sciences (New York)
1 Mathematical Logic Quarterly (MLQ)
1 Top
1 The Journal of Artificial Intelligence Research (JAIR)
1 Mathematical Problems in Engineering
1 Soft Computing
1 Journal of Scheduling
1 Data Mining and Knowledge Discovery
1 Optimization and Engineering
1 ACM Transactions on Computational Logic
1 4OR
1 ACM Journal of Experimental Algorithmics
1 International Journal of Computational Methods
1 Networks and Spatial Economics
1 Journal of Industrial and Management Optimization
1 The Annals of Applied Statistics
1 Cryptography and Communications
1 Science China. Information Sciences
1 Journal of Theoretical Biology
1 Journal of Logical and Algebraic Methods in Programming
1 International Journal of Systems Science. Principles and Applications of Systems and Integration

Citations by Year