![]() | ![]() |
Holger Hoos
List of publications from the DBLP Bibliography Server - FAQ
2007 | ||
---|---|---|
57 | Thomas Stützle, Mauro Birattari, Holger H. Hoos: Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics, International Workshop, SLS 2007, Brussels, Belgium, September 6-8, 2007, Proceedings Springer 2007 | |
56 | Frank Hutter, Holger H. Hoos, Thomas Stützle: Automatic Algorithm Configuration Based on Local Search. AAAI 2007: 1152-1157 | |
55 | EE | Lin Xu, Holger H. Hoos, Kevin Leyton-Brown: Hierarchical Hardness Models for SAT. CP 2007: 696-711 |
54 | EE | Lin Xu, Frank Hutter, Holger H. Hoos, Kevin Leyton-Brown: : The Design and Analysis of an Algorithm Portfolio for SAT. CP 2007: 712-727 |
53 | EE | Frank Hutter, Domagoj Babic, Holger H. Hoos, Alan J. Hu: Boosting Verification by Automatic Tuning of Decision Procedures. FMCAD 2007: 27-34 |
52 | EE | Camilo Rostoker, Alan Wagner, Holger H. Hoos: A Parallel Workflow for Real-time Correlation and Clustering of High-Frequency Stock Market Data. IPDPS 2007: 1-10 |
51 | EE | Mirela Andronescu, Anne Condon, Holger H. Hoos, David H. Mathews, Kevin P. Murphy: Efficient parameter estimation for RNA secondary structure prediction. ISMB/ECCB (Supplement of Bioinformatics) 2007: 19-28 |
50 | EE | Mauro Brunato, Holger H. Hoos, Roberto Battiti: On Effectively Finding Maximal Quasi-cliques in Graphs. LION 2007: 41-55 |
49 | EE | Holger H. Hoos, Thomas Stützle: Preface. Annals OR 156(1): 1-4 (2007) |
2006 | ||
48 | EE | Frank Hutter, Youssef Hamadi, Holger H. Hoos, Kevin Leyton-Brown: Performance Prediction and Automated Tuning of Randomized and Parametric Algorithms. CP 2006: 213-228 |
47 | EE | Dave A. D. Tompkins, Holger H. Hoos: On the Quality and Quantity of Random Decisions in Stochastic Local Search for SAT. Canadian Conference on AI 2006: 146-158 |
46 | EE | Wayne J. Pullan, Holger H. Hoos: Dynamic Local Search for the Maximum Clique Problem. J. Artif. Intell. Res. (JAIR) 25: 159-185 (2006) |
2005 | ||
45 | Holger H. Hoos, David G. Mitchell: Theory and Applications of Satisfiability Testing, 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers Springer 2005 | |
44 | EE | Frank Hutter, Holger H. Hoos, Thomas Stützle: Efficient Stochastic Local Search for MPE Solving. IJCAI 2005: 169-174 |
43 | EE | Alena Shmygelska, Holger H. Hoos: An ant colony optimisation algorithm for the 2D and 3D hydrophobic polar protein folding problem. BMC Bioinformatics 6: 30 (2005) |
2004 | ||
42 | Holger H. Hoos, Thomas Stützle: Stochastic Local Search: Foundations & Applications Elsevier / Morgan Kaufmann 2004 | |
41 | EE | Dave A. D. Tompkins, Holger H. Hoos: Warped Landscapes and Random Acts of SAT Solving. AMAI 2004 |
40 | EE | Eugene Nudelman, Kevin Leyton-Brown, Holger H. Hoos, Alex Devkar, Yoav Shoham: Understanding Random SAT: Beyond the Clauses-to-Variables Ratio. CP 2004: 438-452 |
39 | EE | Jürgen Kilian, Holger H. Hoos: MusicBLAST - Gapped Sequence Alignment for MIR. ISMIR 2004 |
38 | EE | Holger H. Hoos, Kevin Smyth, Thomas Stützle: Search Space Features Underlying the Performance of Stochastic Local Search Algorithms for MAX-SAT. PPSN 2004: 51-60 |
37 | EE | Dave A. D. Tompkins, Holger H. Hoos: UBCSAT: An Implementation and Experimentation Environment for SLS Algorithms for SAT & MAX-SAT. SAT 2004 |
36 | EE | Dave A. D. Tompkins, Holger H. Hoos: UBCSAT: An Implementation and Experimentation Environment for SLS Algorithms for SAT and MAX-SAT. SAT (Selected Papers 2004: 306-320 |
35 | EE | Craig Boutilier, Ronen I. Brafman, Carmel Domshlak, Holger H. Hoos, David Poole: CP-nets: A Tool for Representing and Reasoning with Conditional Ceteris Paribus Preference Statements. J. Artif. Intell. Res. (JAIR) 21: 135-191 (2004) |
2003 | ||
34 | EE | Ian P. Gent, Holger H. Hoos, Andrew G. D. Rowley, Kevin Smyth: Using Stochastic Local Search to Solve Quantified Boolean Formulae. CP 2003: 348-362 |
33 | EE | Kevin Smyth, Holger H. Hoos, Thomas Stützle: Iterated Robust Tabu Search for MAX-SAT. Canadian Conference on AI 2003: 129-144 |
32 | EE | Dave A. D. Tompkins, Holger H. Hoos: Scaling and Probabilistic Smoothing: Dynamic Local Search for Unweighted MAX-SAT. Canadian Conference on AI 2003: 145-159 |
31 | EE | Alena Shmygelska, Holger H. Hoos: An Improved Ant Colony Optimisation Algorithm for the 2D HP Protein Folding Problem. Canadian Conference on AI 2003: 400-417 |
30 | EE | Dan C. Tulpan, Holger H. Hoos: Hybrid Randomised Neighbourhoods Improve Stochastic Local Search for DNA Code Design. Canadian Conference on AI 2003: 418-433 |
29 | EE | Michael Pavlin, Holger H. Hoos, Thomas Stützle: Stochastic Local Search for Multiprocessor Scheduling for Minimum Total Tardiness. Canadian Conference on AI 2003: 96-113 |
28 | Andrew Tae-Jun Kwon, Holger H. Hoos, Raymond T. Ng: Inference of Transcriptional Regulation Relationships from Gene Expression Data. SAC 2003: 135-140 | |
27 | Andrew T. Kwon, Holger H. Hoos, Raymond T. Ng: Inference of Transcriptional Regulation Relationships from Gene Expression Data. Bioinformatics 19(8): 905-912 (2003) | |
26 | Mirela Andronescu, Rosalía Aguirre-Hernández, Anne Condon, Holger H. Hoos: RNAsoft: a suite of RNA secondary structure prediction and design software tools. Nucleic Acids Research 31(13): 3416-3422 (2003) | |
2002 | ||
25 | Holger H. Hoos: An Adaptive Noise Mechanism for WalkSAT. AAAI/IAAI 2002: 655-660 | |
24 | Holger H. Hoos: A Mixture-Model for the Behaviour of SLS Algorithms for SAT. AAAI/IAAI 2002: 661-667 | |
23 | EE | Alena Shmygelska, Rosalía Aguirre-Hernández, Holger H. Hoos: An Ant Colony Optimization Algorithm for the 2D HP Protein Folding Problem. Ant Algorithms 2002: 40-53 |
22 | EE | Frank Hutter, Dave A. D. Tompkins, Holger H. Hoos: Scaling and Probabilistic Smoothing: Efficient Dynamic Local Search for SAT. CP 2002: 233-248 |
21 | EE | Christine E. Heitsch, Anne Condon, Holger H. Hoos: From RNA Secondary Structure to Coding Theory: A Combinatorial Approach. DNA 2002: 215-228 |
20 | EE | Dan C. Tulpan, Holger H. Hoos, Anne Condon: Stochastic Local Search Algorithms for DNA Word Design. DNA 2002: 229-241 |
19 | EE | Jürgen Kilian, Holger H. Hoos: Voice Separation - A Local Optimization Approach. ISMIR 2002 |
2001 | ||
18 | Craig Boutilier, Holger H. Hoos: Bidding Languages for Combinatorial Auctions. IJCAI 2001: 1211-1217 | |
17 | EE | Holger H. Hoos, Kai Renz, Marko Görg: GUIDO/MIR - an Experimental Musical Information Retrieval System based on GUIDO Music Notation. ISMIR 2001: 41-50 |
16 | Yves Lespérance, Gerd Wagner, William P. Birmingham, Kurt D. Bollacker, Alexander Nareyek, J. Paul Walser, David W. Aha, Timothy W. Finin, Benjamin N. Grosof, Nathalie Japkowicz, Robert Holte, Lise Getoor, Carla P. Gomes, Holger H. Hoos, Alan C. Schultz, Miroslav Kubat, Tom M. Mitchell, Jörg Denzinger, Yolanda Gil, Karen L. Myers, Claudio Bettini, Angelo Montanari: AAAI 2000 Workshop Reports. AI Magazine 22(1): 127-136 (2001) | |
15 | Thomas Stützle, Holger H. Hoos: Ameisenalgorithmen zur Lösung kombinatorischer Optimierungsprobleme. KI 15(1): 45-51 (2001) | |
2000 | ||
14 | Holger H. Hoos, Craig Boutilier: Solving Combinatorial Auctions Using Stochastic Local Search. AAAI/IAAI 2000: 22-29 | |
13 | EE | Thomas Stützle, Holger H. Hoos: MAX-MIN Ant System. Future Generation Comp. Syst. 16(8): 889-914 (2000) |
12 | Holger H. Hoos, Thomas Stützle: Local Search Algorithms for SAT: An Empirical Evaluation. J. Autom. Reasoning 24(4): 421-481 (2000) | |
1999 | ||
11 | Ian P. Gent, Holger H. Hoos, Patrick Prosser, Toby Walsh: Morphing: Combining Structure and Randomness. AAAI/IAAI 1999: 654-660 | |
10 | Holger H. Hoos: On the Run-time Behaviour of Stochastic Local Search Algorithms for SAT. AAAI/IAAI 1999: 661-666 | |
9 | Holger H. Hoos: SAT-Encodings, Search Space Structure, and Local Search Performance. IJCAI 1999: 296-303 | |
8 | Ronen I. Brafman, Holger H. Hoos: To Encode or Not to Encode - Linear Planning. IJCAI 1999: 988-995 | |
7 | EE | Holger H. Hoos, Thomas Stützle: Systematic vs. Local Search for SAT. KI 1999: 289-293 |
6 | EE | Craig Boutilier, Ronen I. Brafman, Holger H. Hoos, David Poole: Reasoning With Conditional Ceteris Paribus Preference Statements. UAI 1999: 71-80 |
5 | EE | Holger H. Hoos, Thomas Stützle: Towards a Characterisation of the Behaviour of Stochastic Local Search Algorithms for SAT. Artif. Intell. 112(1-2): 213-232 (1999) |
1998 | ||
4 | EE | Holger H. Hoos, Thomas Stützle: Some Surprising Regularities in the Behaviour of Stochastic Local Search. CP 1998: 470 |
3 | EE | Holger H. Hoos, Thomas Stützle: Evaluating Las Vegas Algorithms: Pitfalls and Remedies. UAI 1998: 238-245 |
1996 | ||
2 | Holger H. Hoos: Solving Hard Combinatorial Problems with GSAT - A Case Study. KI 1996: 107-119 | |
1994 | ||
1 | Antje Beeringer, Gerd Aschemann, Holger H. Hoos, Michael Metzger, Andreas Weiss: GSAT versus Simulated Annealing. ECAI 1994: 130-134 |