×
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

39 Publications have been cited 854 times in 613 Documents Cited by Year
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
128
2004
Stochastic local search. Foundations and applications. Zbl 1126.68032
Hoos, Holger H.; Stützle, Thomas
127
2005
Paramils: an automatic algorithm configuration framework. Zbl 1192.68831
Hutter, F.; Hoos, H. H.; Leyton-Brown, K.; Stuetzle, T.
105
2009
SATzilla: portfolio-based algorithm selection for SAT. Zbl 1182.68272
Xu, L.; Hutter, F.; Hoos, H. H.; Leyton-Brown, K.
98
2008
Algorithm runtime prediction: methods & evaluation. Zbl 1334.68185
Hutter, Frank; Xu, Lin; Hoos, Holger H.; Leyton-Brown, Kevin
39
2014
Dynamic local search for the maximum clique problem. Zbl 1182.68065
Pullan, W.; Hoos, H. H.
36
2006
SATLIB: An online resource for research on SAT. Zbl 0979.68128
Hoos, Holger H.; Stützle, Thomas
30
2000
A survey on semi-supervised learning. Zbl 1441.68215
van Engelen, Jesper E.; Hoos, Holger H.
25
2020
UBCSAT: An implementation and experimentation environment for SLS algorithms for SAT and MAX-SAT. Zbl 1122.68620
Tompkins, Dave A. D.; Hoos, Holger H.
23
2005
Understanding random SAT: Beyond the clauses-to-variables ratio. Zbl 1152.68569
Nudelman, Eugene; Leyton-Brown, Kevin; Hoos, Holger H.; Devkar, Alex; Shoham, Yoav
21
2004
The max-min ant system and local search for combinatorial optimization problems. Zbl 0970.90083
Stützle, Thomas; Hoos, Holger
20
1999
Local search algorithms for SAT: an empirical evaluation. Zbl 0961.68039
Hoos, Holger H.; Stützle, Thomas
20
2000
claspfolio 2: advances in algorithm selection for answer set programming. Zbl 1307.68016
Hoos, Holger; Lindauer, Marius; Schaub, Torsten
18
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
18
2016
Towards a characterisation of the behaviour of stochastic local search algorithms for SAT. Zbl 0996.68069
Hoos, Holger H.; Stützle, Thomas
15
1999
SATenstein: automatically building local search SAT solvers from components. Zbl 1351.68255
KhudaBukhsh, Ashiqur R.; Xu, Lin; Hoos, Holger H.; Leyton-Brown, Kevin
15
2016
The configurable SAT solver challenge (CSSC). Zbl 1402.68161
Hutter, Frank; Lindauer, Marius; Balint, Adrian; Bayless, Sam; Hoos, Holger; Leyton-Brown, Kevin
14
2017
Engineering stochastic local search algorithms. Designing, implementing and analyzing effective heuristics. Second international workshop, SLS 2009, Brussels, Belgium, September 3–4, 2009. Proceedings. Zbl 1172.68312
13
2009
Performance prediction and automated tuning of randomized and parametric algorithms. Zbl 1160.68551
Hutter, Frank; Hamadi, Youssef; Hoos, Holger H.; Leyton-Brown, Kevin
12
2006
Stochastic local search algorithms for DNA word design. Zbl 1026.68564
Tulpan, Dan C.; Hoos, Holger H.; Condon, Anne E.
11
2003
Hierarchical hardness models for SAT. Zbl 1145.68534
Xu, Lin; Hoos, Holger H.; Leyton-Brown, Kevin
7
2007
aspeed: solver scheduling via answer set programming. Zbl 1379.68283
Hoos, Holger; Kaminski, Roland; Lindauer, Marius; Schaub, Torsten
6
2015
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
From RNA secondary structure to coding theory: A combinatorial approach. Zbl 1026.68546
Heitsch, Christine E.; Condon, Anne E.; Hoos, Holger H.
5
2003
Engineering stochastic local search algorithms. Designing, implementing and analyzing effective heuristics. International workshop, SLS 2007, Brussels, Belgium, September 6–8, 2007. Proceedings. Zbl 1122.68012
5
2007
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.
4
2010
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
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
Automatic construction of parallel portfolios via algorithm configuration. Zbl 1404.68144
Lindauer, Marius; Hoos, Holger; Leyton-Brown, Kevin; Schaub, Torsten
4
2017
Efficient benchmarking of algorithm configurators via model-based surrogates. Zbl 1457.68341
Eggensperger, Katharina; Lindauer, Marius; Hoos, Holger H.; Hutter, Frank; Leyton-Brown, Kevin
4
2018
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
4
2014
aspeed: ASP-based solver scheduling. Zbl 1281.68206
Hoos, Holger; Kaminski, Roland; Schaub, Torsten; Schneider, Marius
3
2012
Dynamic scoring functions with variable expressions: new SLS methods for solving SAT. Zbl 1306.68176
Tompkins, Dave A. D.; Hoos, Holger H.
3
2010
Theory and applications of satisfiability testing. 7th international conference, SAT 2004, Vancouver, BC, Canada, May 10–13, 2004. Revised selected papers. Zbl 1075.68002
2
2005
Efficient local search for pseudo Boolean optimization. Zbl 07495583
Lei, Zhendong; Cai, Shaowei; Luo, Chuan; Hoos, Holger
2
2021
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
Local search algorithms for SAT: an empirical evaluation. Zbl 0979.68030
Hoos, Holger H.; Stützle, Thomas
1
2000
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
Efficient local search for pseudo Boolean optimization. Zbl 07495583
Lei, Zhendong; Cai, Shaowei; Luo, Chuan; Hoos, Holger
2
2021
A survey on semi-supervised learning. Zbl 1441.68215
van Engelen, Jesper E.; Hoos, Holger H.
25
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
4
2018
The configurable SAT solver challenge (CSSC). Zbl 1402.68161
Hutter, Frank; Lindauer, Marius; Balint, Adrian; Bayless, Sam; Hoos, Holger; Leyton-Brown, Kevin
14
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
18
2016
SATenstein: automatically building local search SAT solvers from components. Zbl 1351.68255
KhudaBukhsh, Ashiqur R.; Xu, Lin; Hoos, Holger H.; Leyton-Brown, Kevin
15
2016
aspeed: solver scheduling via answer set programming. Zbl 1379.68283
Hoos, Holger; Kaminski, Roland; Lindauer, Marius; Schaub, Torsten
6
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
39
2014
claspfolio 2: advances in algorithm selection for answer set programming. Zbl 1307.68016
Hoos, Holger; Lindauer, Marius; Schaub, Torsten
18
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
4
2014
aspeed: ASP-based solver scheduling. Zbl 1281.68206
Hoos, Holger; Kaminski, Roland; Schaub, Torsten; Schneider, Marius
3
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
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.
4
2010
Dynamic scoring functions with variable expressions: new SLS methods for solving SAT. Zbl 1306.68176
Tompkins, Dave A. D.; Hoos, Holger H.
3
2010
Paramils: an automatic algorithm configuration framework. Zbl 1192.68831
Hutter, F.; Hoos, H. H.; Leyton-Brown, K.; Stuetzle, T.
105
2009
Engineering stochastic local search algorithms. Designing, implementing and analyzing effective heuristics. Second international workshop, SLS 2009, Brussels, Belgium, September 3–4, 2009. Proceedings. Zbl 1172.68312
13
2009
SATzilla: portfolio-based algorithm selection for SAT. Zbl 1182.68272
Xu, L.; Hutter, F.; Hoos, H. H.; Leyton-Brown, K.
98
2008
Hierarchical hardness models for SAT. Zbl 1145.68534
Xu, Lin; Hoos, Holger H.; Leyton-Brown, Kevin
7
2007
Engineering stochastic local search algorithms. Designing, implementing and analyzing effective heuristics. International workshop, SLS 2007, Brussels, Belgium, September 6–8, 2007. Proceedings. Zbl 1122.68012
5
2007
Dynamic local search for the maximum clique problem. Zbl 1182.68065
Pullan, W.; Hoos, H. H.
36
2006
Performance prediction and automated tuning of randomized and parametric algorithms. Zbl 1160.68551
Hutter, Frank; Hamadi, Youssef; Hoos, Holger H.; Leyton-Brown, Kevin
12
2006
Stochastic local search. Foundations and applications. Zbl 1126.68032
Hoos, Holger H.; Stützle, Thomas
127
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.
23
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
2
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
128
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
21
2004
Stochastic local search algorithms for DNA word design. Zbl 1026.68564
Tulpan, Dan C.; Hoos, Holger H.; Condon, Anne E.
11
2003
From RNA secondary structure to coding theory: A combinatorial approach. Zbl 1026.68546
Heitsch, Christine E.; Condon, Anne E.; Hoos, Holger H.
5
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
30
2000
Local search algorithms for SAT: an empirical evaluation. Zbl 0961.68039
Hoos, Holger H.; Stützle, Thomas
20
2000
Local search algorithms for SAT: an empirical evaluation. Zbl 0979.68030
Hoos, Holger H.; Stützle, Thomas
1
2000
The max-min ant system and local search for combinatorial optimization problems. Zbl 0970.90083
Stützle, Thomas; Hoos, Holger
20
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,403 Authors

29 Stützle, Thomas G.
13 Hoos, Holger H.
10 Cai, Shaowei
10 Lindauer, Marius
8 Hao, Jin-Kao
8 Hutter, Frank
8 Prade, Henri M.
7 Leyton-Brown, Kevin
7 López-Ibáñez, Manuel
7 Wilson, Nic
6 Birattari, Mauro
6 Dorigo, Marco
6 Dubois, Didier
6 Kaci, Souhila
6 Lang, Jérôme
6 Smith-Miles, Kate A.
6 Tierney, Kevin
6 Truszczyński, Mirosław
5 Li, Chumin
5 Lodi, Andrea
5 Paquete, Luís F.
5 Ribeiro, Celso Carneiro
5 Rossi, Francesca
5 Schaerf, Andrea
5 Trautmann, Heike
5 Wagner, Markus
4 Ansótegui, Carlos
4 Arbelaez, Alejandro
4 Berend, Daniel
4 Bischl, Bernd
4 Bossek, Jakob
4 de Causmaecker, Patrick
4 Di Gaspero, Luca
4 Dodaro, Carmine
4 Dubois-Lacoste, Jérémie
4 Gomes, Carla P.
4 Hadjali, Allel
4 Hullermeier, Eyke
4 Kerschke, Pascal
4 Kotthoff, Lars
4 Labreuche, Christophe
4 Malitsky, Yuri
4 Marques-Silva, João P.
4 O’Sullivan, Barry
4 Ricca, Francesco
4 Ruiz, Rubén
4 Su, Kaile
4 Twitto, Yochai
4 Venable, Kristen Brent
4 Yang, Yongjie
3 Amadini, Roberto
3 Baatar, Davaatseren
3 Balaprakash, Prasanna
3 Burke, Edmund Kieran
3 Chiarandini, Marco
3 Dilkina, Bistra
3 Dörner, Karl F.
3 Endriss, Ulle
3 Faliszewski, Piotr
3 Franzin, Alberto
3 Gabbrielli, Maurizio
3 Gendreau, Michel
3 Hahn, Peter M.
3 Hartl, Richard F.
3 Hurley, Barry
3 Janičić, Predrag
3 Kari, Lila
3 Larrosa, Javier
3 Li, Wenjun
3 Lierler, Yuliya
3 Lukasiewicz, Thomas
3 Luo, Chuan
3 Mahalingam, Kalpana
3 Malizia, Enrico
3 Maratea, Marco
3 Mascia, Franco
3 Mauro, Jacopo
3 Neumann, Frank
3 Pagnozzi, Federico
3 Pardalos, Panos M.
3 Pon, Josep
3 Pullan, Wayne
3 Rosseti, Isabel
3 Sahinidis, Nikolaos V.
3 Saubion, Frédéric
3 Schaub, Torsten H.
3 Schiavinotto, Tommaso
3 Sellmann, Meinolf
3 Vallati, Mauro
3 Vanden Berghe, Greet
3 Wang, Jianxin
3 Wang, Yiyuan
3 Witt, Carsten
3 Wu, Qinghua
3 Xu, Chao
3 Xu, Lin
3 Yin, Minghao
3 Zarpellon, Giulia
2 Adamo, Tommaso
2 Almeder, Christian
...and 1,303 more Authors
all top 5

Cited in 106 Serials

55 Computers & Operations Research
54 Artificial Intelligence
40 European Journal of Operational Research
26 Annals of Mathematics and Artificial Intelligence
20 Annals of Operations Research
19 International Transactions in Operational Research
19 Constraints
18 Machine Learning
16 Information Sciences
16 Journal of Automated Reasoning
15 Journal of Heuristics
13 Theoretical Computer Science
10 Journal of Combinatorial Optimization
8 International Journal of Approximate Reasoning
8 Theory and Practice of Logic Programming
6 Journal of Global Optimization
5 Discrete Applied Mathematics
5 JMMA. Journal of Mathematical Modelling and Algorithms
5 Optimization Letters
5 Mathematical Programming Computation
5 Statistics and Computing
4 Applied Mathematics and Computation
4 Computational Optimization and Applications
4 Formal Methods in System Design
4 Natural Computing
4 Discrete Optimization
3 Journal of the Franklin Institute
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 The Journal of Artificial Intelligence Research (JAIR)
3 International Journal of Applied Mathematics and Computer Science
3 Journal of Applied Logic
2 Information Processing Letters
2 Journal of Mathematical Psychology
2 Information and Computation
2 AI Communications
2 International Journal of Computer Mathematics
2 Computational Statistics and Data Analysis
2 Cybernetics and Systems Analysis
2 Top
2 INFORMS Journal on Computing
2 Data Mining and Knowledge Discovery
2 Journal of Machine Learning Research (JMLR)
2 ACM Transactions on Computational Logic
2 ACM Journal of Experimental Algorithmics
2 Mathematics in Computer Science
2 The Annals of Applied Statistics
2 Foundations and Trends in Machine Learning
1 Computer Methods in Applied Mechanics and Engineering
1 Discrete Mathematics
1 Journal of Mathematical Biology
1 Journal of Statistical Physics
1 INFOR
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 Networks
1 Operations Research
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 Mathematical Structures in Computer Science
1 Automation and Remote Control
1 Mathematical Programming. Series A. Series B
1 Journal of Logic, Language and Information
1 SIAM Journal on Scientific Computing
1 Journal of Mathematical Sciences (New York)
1 Mathematical Logic Quarterly (MLQ)
1 Engineering Analysis with Boundary Elements
1 Mathematical Problems in Engineering
1 Journal of Automata, Languages and Combinatorics
1 Soft Computing
1 Journal of Scheduling
1 Acta Mathematica Sinica. English Series
1 Optimization and Engineering
1 RAIRO. Operations Research
1 OR Spectrum
1 4OR
1 International Journal of Computational Methods
1 Journal of Statistical Mechanics: Theory and Experiment
1 Networks and Spatial Economics
1 Journal of Industrial and Management Optimization
1 Engineering Optimization
1 Journal of Satisfiability, Boolean Modeling and Computation
1 Cryptography and Communications
1 Science China. Mathematics
1 Science China. Information Sciences
1 Journal of Computational and Graphical Statistics
1 Journal of Theoretical Biology
...and 6 more Serials

Citations by Year