×
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

Publications by Year

Citations contained in zbMATH Open

35 Publications have been cited 612 times in 460 Documents Cited by Year
Stochastic local search. Foundations and applications. Zbl 1126.68032
Hoos, Holger H.; Stützle, Thomas
97
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
92
2004
SATzilla: portfolio-based algorithm selection for SAT. Zbl 1182.68272
Xu, L.; Hutter, F.; Hoos, H. H.; Leyton-Brown, K.
72
2008
Paramils: an automatic algorithm configuration framework. Zbl 1192.68831
Hutter, F.; Hoos, H. H.; Leyton-Brown, K.; Stuetzle, T.
67
2009
Dynamic local search for the maximum clique problem. Zbl 1182.68065
Pullan, W.; Hoos, H. H.
31
2006
Algorithm runtime prediction: methods & evaluation. Zbl 1334.68185
Hutter, Frank; Xu, Lin; Hoos, Holger H.; Leyton-Brown, Kevin
27
2014
SATLIB: An online resource for research on SAT. Zbl 0979.68128
Hoos, Holger H.; Stützle, Thomas
26
2000
UBCSAT: An implementation and experimentation environment for SLS algorithms for SAT and MAX-SAT. Zbl 1122.68620
Tompkins, Dave A. D.; Hoos, Holger H.
20
2005
Local search algorithms for SAT: An empirical evaluation. Zbl 0961.68039
Hoos, Holger H.; Stützle, Thomas
18
2000
The max-min ant system and local search for combinatorial optimization problems. Zbl 0970.90083
Stützle, Thomas; Hoos, Holger
17
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
Towards a characterisation of the behaviour of stochastic local search algorithms for SAT. Zbl 0996.68069
Hoos, Holger H.; Stützle, Thomas
15
1999
claspfolio 2: advances in algorithm selection for answer set programming. Zbl 1307.68016
Hoos, Holger; Lindauer, Marius; Schaub, Torsten
14
2014
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
12
2016
Performance prediction and automated tuning of randomized and parametric algorithms. Zbl 1160.68551
Hutter, Frank; Hamadi, Youssef; Hoos, Holger H.; Leyton-Brown, Kevin
10
2006
Stochastic local search algorithms for DNA word design. Zbl 1026.68564
Tulpan, Dan C.; Hoos, Holger H.; Condon, Anne E.
10
2003
SATenstein: automatically building local search SAT solvers from components. Zbl 1351.68255
KhudaBukhsh, Ashiqur R.; Xu, Lin; Hoos, Holger H.; Leyton-Brown, Kevin
10
2016
The configurable SAT solver challenge (CSSC). Zbl 1402.68161
Hutter, Frank; Lindauer, Marius; Balint, Adrian; Bayless, Sam; Hoos, Holger; Leyton-Brown, Kevin
10
2017
Hierarchical hardness models for SAT. Zbl 1145.68534
Xu, Lin; Hoos, Holger H.; Leyton-Brown, Kevin
5
2007
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
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
From RNA secondary structure to coding theory: A combinatorial approach. Zbl 1026.68546
Heitsch, Christine E.; Condon, Anne E.; Hoos, Holger H.
4
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
A survey on semi-supervised learning. Zbl 1441.68215
van Engelen, Jesper E.; Hoos, Holger H.
4
2020
Automatic construction of parallel portfolios via algorithm configuration. Zbl 1404.68144
Lindauer, Marius; Hoos, Holger; Leyton-Brown, Kevin; Schaub, Torsten
4
2017
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
Efficient benchmarking of algorithm configurators via model-based surrogates. Zbl 1457.68341
Eggensperger, Katharina; Lindauer, Marius; Hoos, Holger H.; Hutter, Frank; Leyton-Brown, Kevin
3
2018
aspeed: ASP-based solver scheduling. Zbl 1281.68206
Hoos, Holger; Kaminski, Roland; Schaub, Torsten; Schneider, Marius
2
2012
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
Theory and applications of satisfiability testing. 7th international conference, SAT 2004, Vancouver, BC, Canada, May 10–13, 2004. Revised selected papers. Zbl 1075.68002
1
2005
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
Stochastic local search - methods, models, applications (Diss., TU Darmstadt, 1998). Zbl 0999.68050
Hoos, Holger H.
1
1999
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
On the empirical time complexity of finding optimal solutions vs proving optimality for Euclidean TSP instances. Zbl 1331.90067
Hoos, Holger H.; Stützle, Thomas
1
2015
A survey on semi-supervised learning. Zbl 1441.68215
van Engelen, Jesper E.; Hoos, Holger H.
4
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
3
2018
The configurable SAT solver challenge (CSSC). Zbl 1402.68161
Hutter, Frank; Lindauer, Marius; Balint, Adrian; Bayless, Sam; Hoos, Holger; Leyton-Brown, Kevin
10
2017
Automatic construction of parallel portfolios via algorithm configuration. Zbl 1404.68144
Lindauer, Marius; Hoos, Holger; Leyton-Brown, Kevin; Schaub, Torsten
4
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
12
2016
SATenstein: automatically building local search SAT solvers from components. Zbl 1351.68255
KhudaBukhsh, Ashiqur R.; Xu, Lin; Hoos, Holger H.; Leyton-Brown, Kevin
10
2016
aspeed: solver scheduling via answer set programming. Zbl 1379.68283
Hoos, Holger; Kaminski, Roland; Lindauer, Marius; Schaub, Torsten
4
2015
On the empirical time complexity of finding optimal solutions vs proving optimality for Euclidean TSP instances. Zbl 1331.90067
Hoos, Holger H.; Stützle, Thomas
1
2015
Algorithm runtime prediction: methods & evaluation. Zbl 1334.68185
Hutter, Frank; Xu, Lin; Hoos, Holger H.; Leyton-Brown, Kevin
27
2014
claspfolio 2: advances in algorithm selection for answer set programming. Zbl 1307.68016
Hoos, Holger; Lindauer, Marius; Schaub, Torsten
14
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.
67
2009
SATzilla: portfolio-based algorithm selection for SAT. Zbl 1182.68272
Xu, L.; Hutter, F.; Hoos, H. H.; Leyton-Brown, K.
72
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.
31
2006
Performance prediction and automated tuning of randomized and parametric algorithms. Zbl 1160.68551
Hutter, Frank; Hamadi, Youssef; Hoos, Holger H.; Leyton-Brown, Kevin
10
2006
Stochastic local search. Foundations and applications. Zbl 1126.68032
Hoos, Holger H.; Stützle, Thomas
97
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.
20
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
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
92
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.
10
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
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
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
26
2000
Local search algorithms for SAT: An empirical evaluation. Zbl 0961.68039
Hoos, Holger H.; Stützle, Thomas
18
2000
The max-min ant system and local search for combinatorial optimization problems. Zbl 0970.90083
Stützle, Thomas; Hoos, Holger
17
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 1,047 Authors

26 Stützle, Thomas G.
11 Hoos, Holger H.
9 Lindauer, Marius
8 Cai, Shaowei
8 Hao, Jin-Kao
7 Hutter, Frank
7 López-Ibáñez, Manuel
7 Prade, Henri M.
7 Wilson, Nic
6 Dorigo, Marco
6 Dubois, Didier
6 Leyton-Brown, Kevin
5 Birattari, Mauro
5 Kaci, Souhila
5 Lang, Jérôme
5 Li, Chumin
5 Paquete, Luís F.
5 Schaerf, Andrea
5 Smith-Miles, Kate A.
5 Tierney, Kevin
5 Truszczyński, Mirosław
4 Ansótegui, Carlos
4 Di Gaspero, Luca
4 Dubois-Lacoste, Jérémie
4 Gomes, Carla P.
4 Labreuche, Christophe
4 Rossi, Francesca
4 Ruiz, Rubén
4 Su, Kaile
4 Venable, Kristen Brent
3 Amadini, Roberto
3 Arbelaez, Alejandro
3 Baatar, Davaatseren
3 Balaprakash, Prasanna
3 Burke, Edmund Kieran
3 Chiarandini, Marco
3 de Causmaecker, Patrick
3 Dodaro, Carmine
3 Dörner, Karl F.
3 Endriss, Ulle
3 Faliszewski, Piotr
3 Franzin, Alberto
3 Hadjali, Allel
3 Hahn, Peter M.
3 Hartl, Richard F.
3 Hullermeier, Eyke
3 Lodi, Andrea
3 Lukasiewicz, Thomas
3 Luo, Chuan
3 Malitsky, Yuri
3 Malizia, Enrico
3 Marques-Silva, João P.
3 Pardalos, Panos M.
3 Pon, Josep
3 Prestwich, Steven D.
3 Pullan, Wayne
3 Schiavinotto, Tommaso
3 Sellmann, Meinolf
3 Stuckey, Peter James
3 Vallati, Mauro
3 Witt, Carsten
3 Wu, Qinghua
3 Yang, Yongjie
2 Almeder, Christian
2 Anai, Hirokazu
2 Apt, Krzysztof Rafal
2 Arai, Noriko H.
2 Balint, Adrian
2 Batsyn, Mikhail V.
2 Battiti, Roberto
2 Ben Amor, Nahla
2 Berend, Daniel
2 Biere, Armin
2 Bischl, Bernd
2 Blum, Christian
2 Bonzon, Elise
2 Brickenstein, Michael
2 Cerutti, Federico
2 Ceschia, Sara
2 Chen, Jiehua
2 Chomicki, Jan
2 Codognet, Philippe
2 Destercke, Sébastien
2 Detti, Paolo
2 Dilkina, Bistra
2 Domshlak, Carmel
2 Dorn, Britta
2 Dreyer, Alexander
2 Eiter, Thomas
2 England, Matthew
2 Fernández, César C.
2 Fister, Iztok
2 Fu, Zhanghua
2 Fukasaku, Ryoya
2 Fürnkranz, Johannes
2 Gabbrielli, Maurizio
2 Gagliolo, Matteo
2 Gange, Graeme
2 Gao, Chao
2 Giacomin, Massimiliano
...and 947 more Authors
all top 5

Cited in 87 Serials

47 Artificial Intelligence
45 Computers & Operations Research
36 European Journal of Operational Research
23 Annals of Mathematics and Artificial Intelligence
19 Annals of Operations Research
19 Constraints
15 Journal of Automated Reasoning
15 Journal of Heuristics
11 Machine Learning
10 Theoretical Computer Science
9 Journal of Combinatorial Optimization
8 Information Sciences
7 Theory and Practice of Logic Programming
5 Discrete Applied Mathematics
5 International Journal of Approximate Reasoning
5 Journal of Global Optimization
5 JMMA. Journal of Mathematical Modelling and Algorithms
4 Applied Mathematics and Computation
4 Computational Optimization and Applications
4 Optimization Letters
4 Mathematical Programming Computation
4 Statistics and Computing
3 Fuzzy Sets and Systems
3 Synthese
3 Mathematical Social Sciences
3 Journal of Computer Science and Technology
3 Algorithmica
3 International Journal of Intelligent Systems
3 Formal Methods in System Design
3 The Journal of Artificial Intelligence Research (JAIR)
3 Natural Computing
3 Journal of Applied Logic
3 Discrete Optimization
2 Information Processing Letters
2 Journal of the Franklin Institute
2 Journal of Mathematical Psychology
2 Information and Computation
2 International Journal of Computer Mathematics
2 Mathematical Programming. Series A. Series B
2 Cybernetics and Systems Analysis
2 INFORMS Journal on Computing
2 Data Mining and Knowledge Discovery
2 International Journal of Applied Mathematics and Computer Science
2 Mathematics in Computer Science
1 Discrete Mathematics
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 Journal of Parallel and Distributed Computing
1 AI Communications
1 MSCS. Mathematical Structures in Computer Science
1 Automation and Remote Control
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 Mathematical Problems in Engineering
1 Journal of Automata, Languages and Combinatorics
1 Soft Computing
1 Journal of Scheduling
1 Optimization and Engineering
1 Journal of Machine Learning Research (JMLR)
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 Journal of Satisfiability, Boolean Modeling and Computation
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