Edit Profile (opens in new tab) Hoos, Holger H. Compute Distance To: Compute Author ID: hoos.holger-h Published as: Hoos, Holger H.; Hoos, Holger; Hoos, H. H. more...less External Links: MGP · ORCID · dblp Documents Indexed: 38 Publications since 1999, including 2 Books 3 Contributions as Editor Co-Authors: 53 Co-Authors with 39 Joint Publications 1,052 Co-Co-Authors all top 5 Co-Authors 1 single-authored 12 Leyton-Brown, Kevin 12 Stützle, Thomas G. 8 Hutter, Frank 6 Lindauer, Marius 4 Schaub, Torsten H. 4 Xu, Lin 3 Tompkins, Dave A. D. 2 Balint, Adrian 2 Birattari, Mauro 2 Condon, Anne E. 2 Kaminski, Roland 1 Anastacio, Marie 1 Babaki, Behrouz 1 Baratchi, Mitra 1 Bartz-Beielstein, Thomas 1 Bayless, Sam 1 Biedl, Therese C. 1 Bischl, Bernd 1 Boutilier, Craig 1 Brafman, Ronen I. 1 Cai, Shaowei 1 Devkar, Alex 1 Domshlak, Carmel 1 Durocher, Stephane 1 Eggensperger, Katharina 1 Fokkinga, Daniël 1 Fréchette, Alexandre 1 Gent, Ian Philip 1 Hamadi, Youssef 1 Heitsch, Christine E. 1 Kerschke, Pascal 1 KhudaBukhsh, Ashiqur R. 1 Kotthoff, Lars 1 Latour, Anna L. D. 1 Lei, Zhendong 1 Luan, Shuang 1 Luo, Chuan 1 Malitsky, Yuri 1 Mitchell, David G. M. 1 Murphy, Kevin P. 1 Nijssen, Siegfried 1 Nudelman, Eugene 1 Ottervanger, Gilles 1 Rowley, Andrew G. D. 1 Saia, Jared 1 Schneider, Marius Thomas 1 Shoham, Yoav 1 Smyth, Kevin 1 Tierney, Kevin 1 Tulpan, Dan C. 1 van Engelen, Jesper E. 1 Vanschoren, Joaquin 1 Young, Maxwell all top 5 Serials 7 Artificial Intelligence 4 The Journal of Artificial Intelligence Research (JAIR) 3 Lecture Notes in Computer Science 2 Machine Learning 2 Theory and Practice of Logic Programming 1 Information Processing Letters 1 Journal of Automated Reasoning 1 European Journal of Operational Research 1 Data Mining and Knowledge Discovery 1 Optimization Letters 1 DISKI. Dissertationen zur Künstlichen Intelligenz all top 5 Fields 37 Computer science (68-XX) 7 Operations research, mathematical programming (90-XX) 3 General and overarching topics; collections (00-XX) 3 Biology and other natural sciences (92-XX) 2 Statistics (62-XX) 1 Mathematical logic and foundations (03-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 35 Publications have been cited 666 times in 471 Documents Cited by ▼ Year ▼ CP-nets: a tool for representing and reasoning with conditional ceteris paribus preference statements. Zbl 1080.68685Boutilier, Craig; Brafman, Ronen I.; Domshlak, Carmel; Hoos, Holger H.; Poole, David 117 2004 Stochastic local search. Foundations and applications. Zbl 1126.68032Hoos, Holger H.; Stützle, Thomas 99 2005 SATzilla: portfolio-based algorithm selection for SAT. Zbl 1182.68272Xu, L.; Hutter, F.; Hoos, H. H.; Leyton-Brown, K. 82 2008 Paramils: an automatic algorithm configuration framework. Zbl 1192.68831Hutter, F.; Hoos, H. H.; Leyton-Brown, K.; Stuetzle, T. 75 2009 Dynamic local search for the maximum clique problem. Zbl 1182.68065Pullan, W.; Hoos, H. H. 31 2006 Algorithm runtime prediction: methods & evaluation. Zbl 1334.68185Hutter, Frank; Xu, Lin; Hoos, Holger H.; Leyton-Brown, Kevin 29 2014 SATLIB: An online resource for research on SAT. Zbl 0979.68128Hoos, Holger H.; Stützle, Thomas 27 2000 UBCSAT: An implementation and experimentation environment for SLS algorithms for SAT and MAX-SAT. Zbl 1122.68620Tompkins, Dave A. D.; Hoos, Holger H. 20 2005 Local search algorithms for SAT: an empirical evaluation. Zbl 0961.68039Hoos, Holger H.; Stützle, Thomas 19 2000 The max-min ant system and local search for combinatorial optimization problems. Zbl 0970.90083Stützle, Thomas; Hoos, Holger 18 1999 Understanding random SAT: Beyond the clauses-to-variables ratio. Zbl 1152.68569Nudelman, Eugene; Leyton-Brown, Kevin; Hoos, Holger H.; Devkar, Alex; Shoham, Yoav 16 2004 Towards a characterisation of the behaviour of stochastic local search algorithms for SAT. Zbl 0996.68069Hoos, Holger H.; Stützle, Thomas 15 1999 claspfolio 2: advances in algorithm selection for answer set programming. Zbl 1307.68016Hoos, Holger; Lindauer, Marius; Schaub, Torsten 14 2014 ASlib: a benchmark library for algorithm selection. Zbl 1357.68202Bischl, 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.68551Hutter, Frank; Hamadi, Youssef; Hoos, Holger H.; Leyton-Brown, Kevin 10 2006 Stochastic local search algorithms for DNA word design. Zbl 1026.68564Tulpan, Dan C.; Hoos, Holger H.; Condon, Anne E. 10 2003 SATenstein: automatically building local search SAT solvers from components. Zbl 1351.68255KhudaBukhsh, Ashiqur R.; Xu, Lin; Hoos, Holger H.; Leyton-Brown, Kevin 10 2016 The configurable SAT solver challenge (CSSC). Zbl 1402.68161Hutter, Frank; Lindauer, Marius; Balint, Adrian; Bayless, Sam; Hoos, Holger; Leyton-Brown, Kevin 10 2017 A survey on semi-supervised learning. Zbl 1441.68215van Engelen, Jesper E.; Hoos, Holger H. 6 2020 Captain Jack: new variable selection heuristics in local search for SAT. Zbl 1330.68277Tompkins, Dave A. D.; Balint, Adrian; Hoos, Holger H. 5 2011 Hierarchical hardness models for SAT. Zbl 1145.68534Xu, Lin; Hoos, Holger H.; Leyton-Brown, Kevin 5 2007 Analysing the run-time behaviour of iterated local search for the travelling salesman problem. Zbl 1049.90080Stützle, Thomas; Hoos, Holger H. 4 2002 From RNA secondary structure to coding theory: A combinatorial approach. Zbl 1026.68546Heitsch, Christine E.; Condon, Anne E.; Hoos, Holger H. 4 2003 Using stochastic local search to solve quantified Boolean formulae. Zbl 1273.68346Gent, Ian P.; Hoos, Holger H.; Rowley, Andrew G. D.; Smyth, Kevin 4 2003 aspeed: solver scheduling via answer set programming. Zbl 1379.68283Hoos, Holger; Kaminski, Roland; Lindauer, Marius; Schaub, Torsten 4 2015 Automatic construction of parallel portfolios via algorithm configuration. Zbl 1404.68144Lindauer, Marius; Hoos, Holger; Leyton-Brown, Kevin; Schaub, Torsten 4 2017 Dynamic scoring functions with variable expressions: new SLS methods for solving SAT. Zbl 1306.68176Tompkins, Dave A. D.; Hoos, Holger H. 3 2010 On the empirical scaling of run-time for finding optimal solutions to the travelling salesman problem. Zbl 1338.90341Hoos, Holger H.; Stützle, Thomas 3 2014 Efficient benchmarking of algorithm configurators via model-based surrogates. Zbl 1457.68341Eggensperger, Katharina; Lindauer, Marius; Hoos, Holger H.; Hutter, Frank; Leyton-Brown, Kevin 3 2018 aspeed: ASP-based solver scheduling. Zbl 1281.68206Hoos, Holger; Kaminski, Roland; Schaub, Torsten; Schneider, Marius 2 2012 On the empirical time complexity of finding optimal solutions vs proving optimality for Euclidean TSP instances. Zbl 1331.90067Hoos, Holger H.; Stützle, Thomas 1 2015 Sequential model-based parameter optimization: an experimental investigation of automated and interactive approaches. Zbl 1206.68363Hutter, 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.68050Hoos, 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 1 2005 A note on improving the performance of approximation algorithms for radiation therapy. Zbl 1260.68462Biedl, Therese; Durocher, Stephane; Hoos, Holger H.; Luan, Shuang; Saia, Jared; Young, Maxwell 1 2011 A survey on semi-supervised learning. Zbl 1441.68215van Engelen, Jesper E.; Hoos, Holger H. 6 2020 Efficient benchmarking of algorithm configurators via model-based surrogates. Zbl 1457.68341Eggensperger, Katharina; Lindauer, Marius; Hoos, Holger H.; Hutter, Frank; Leyton-Brown, Kevin 3 2018 The configurable SAT solver challenge (CSSC). Zbl 1402.68161Hutter, Frank; Lindauer, Marius; Balint, Adrian; Bayless, Sam; Hoos, Holger; Leyton-Brown, Kevin 10 2017 Automatic construction of parallel portfolios via algorithm configuration. Zbl 1404.68144Lindauer, Marius; Hoos, Holger; Leyton-Brown, Kevin; Schaub, Torsten 4 2017 ASlib: a benchmark library for algorithm selection. Zbl 1357.68202Bischl, 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.68255KhudaBukhsh, Ashiqur R.; Xu, Lin; Hoos, Holger H.; Leyton-Brown, Kevin 10 2016 aspeed: solver scheduling via answer set programming. Zbl 1379.68283Hoos, 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.90067Hoos, Holger H.; Stützle, Thomas 1 2015 Algorithm runtime prediction: methods & evaluation. Zbl 1334.68185Hutter, Frank; Xu, Lin; Hoos, Holger H.; Leyton-Brown, Kevin 29 2014 claspfolio 2: advances in algorithm selection for answer set programming. Zbl 1307.68016Hoos, 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.90341Hoos, Holger H.; Stützle, Thomas 3 2014 aspeed: ASP-based solver scheduling. Zbl 1281.68206Hoos, Holger; Kaminski, Roland; Schaub, Torsten; Schneider, Marius 2 2012 Captain Jack: new variable selection heuristics in local search for SAT. Zbl 1330.68277Tompkins, Dave A. D.; Balint, Adrian; Hoos, Holger H. 5 2011 A note on improving the performance of approximation algorithms for radiation therapy. Zbl 1260.68462Biedl, 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.68176Tompkins, Dave A. D.; Hoos, Holger H. 3 2010 Sequential model-based parameter optimization: an experimental investigation of automated and interactive approaches. Zbl 1206.68363Hutter, Frank; Bartz-Beielstein, Thomas; Hoos, Holger H.; Leyton-Brown, Kevin; Murphy, Kevin P. 1 2010 Paramils: an automatic algorithm configuration framework. Zbl 1192.68831Hutter, F.; Hoos, H. H.; Leyton-Brown, K.; Stuetzle, T. 75 2009 SATzilla: portfolio-based algorithm selection for SAT. Zbl 1182.68272Xu, L.; Hutter, F.; Hoos, H. H.; Leyton-Brown, K. 82 2008 Hierarchical hardness models for SAT. Zbl 1145.68534Xu, Lin; Hoos, Holger H.; Leyton-Brown, Kevin 5 2007 Dynamic local search for the maximum clique problem. Zbl 1182.68065Pullan, W.; Hoos, H. H. 31 2006 Performance prediction and automated tuning of randomized and parametric algorithms. Zbl 1160.68551Hutter, Frank; Hamadi, Youssef; Hoos, Holger H.; Leyton-Brown, Kevin 10 2006 Stochastic local search. Foundations and applications. Zbl 1126.68032Hoos, Holger H.; Stützle, Thomas 99 2005 UBCSAT: An implementation and experimentation environment for SLS algorithms for SAT and MAX-SAT. Zbl 1122.68620Tompkins, 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.68685Boutilier, Craig; Brafman, Ronen I.; Domshlak, Carmel; Hoos, Holger H.; Poole, David 117 2004 Understanding random SAT: Beyond the clauses-to-variables ratio. Zbl 1152.68569Nudelman, Eugene; Leyton-Brown, Kevin; Hoos, Holger H.; Devkar, Alex; Shoham, Yoav 16 2004 Stochastic local search algorithms for DNA word design. Zbl 1026.68564Tulpan, Dan C.; Hoos, Holger H.; Condon, Anne E. 10 2003 From RNA secondary structure to coding theory: A combinatorial approach. Zbl 1026.68546Heitsch, Christine E.; Condon, Anne E.; Hoos, Holger H. 4 2003 Using stochastic local search to solve quantified Boolean formulae. Zbl 1273.68346Gent, 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.90080Stützle, Thomas; Hoos, Holger H. 4 2002 SATLIB: An online resource for research on SAT. Zbl 0979.68128Hoos, Holger H.; Stützle, Thomas 27 2000 Local search algorithms for SAT: an empirical evaluation. Zbl 0961.68039Hoos, Holger H.; Stützle, Thomas 19 2000 The max-min ant system and local search for combinatorial optimization problems. Zbl 0970.90083Stützle, Thomas; Hoos, Holger 18 1999 Towards a characterisation of the behaviour of stochastic local search algorithms for SAT. Zbl 0996.68069Hoos, Holger H.; Stützle, Thomas 15 1999 Stochastic local search - methods, models, applications (Diss., TU Darmstadt, 1998). Zbl 0999.68050Hoos, Holger H. 1 1999 all cited Publications top 5 cited Publications all top 5 Cited by 1,080 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 Berend, Daniel 3 Burke, Edmund Kieran 3 Chiarandini, Marco 3 de Causmaecker, Patrick 3 Dilkina, Bistra 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 Janičić, Predrag 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 Twitto, Yochai 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 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 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 ...and 980 more Authors all top 5 Cited in 89 Serials 50 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 16 Journal of Automated Reasoning 15 Journal of Heuristics 11 Machine Learning 10 Theoretical Computer Science 10 Journal of Combinatorial Optimization 8 Information Sciences 7 Theory and Practice of Logic Programming 6 International Journal of Approximate Reasoning 5 Discrete Applied Mathematics 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 Computational and Graphical Statistics 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 1 Modelirovanie i Analiz Informatsionnykh Sistem all top 5 Cited in 22 Fields 284 Computer science (68-XX) 211 Operations research, mathematical programming (90-XX) 55 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 23 Combinatorics (05-XX) 21 Mathematical logic and foundations (03-XX) 20 Statistics (62-XX) 14 Biology and other natural sciences (92-XX) 10 Information and communication theory, circuits (94-XX) 6 Numerical analysis (65-XX) 5 Order, lattices, ordered algebraic structures (06-XX) 5 Systems theory; control (93-XX) 4 Commutative algebra (13-XX) 4 Probability theory and stochastic processes (60-XX) 3 General and overarching topics; collections (00-XX) 3 Calculus of variations and optimal control; optimization (49-XX) 2 Geometry (51-XX) 2 Quantum theory (81-XX) 2 Mathematics education (97-XX) 1 History and biography (01-XX) 1 Group theory and generalizations (20-XX) 1 Manifolds and cell complexes (57-XX) 1 Statistical mechanics, structure of matter (82-XX) Citations by Year