All publications:
-
NEW:
Cognitive Principles for Information Management: The Principles of Mnemonic Associative Knowledge (P-MAK).
Michael Huggett, Holger H. Hoos, Ron Rensink -
Minds and Machines 17(4):445-485, 2007/12.
[information retrieval, semantic networks, human-centred information management, human-computer interaction, artificial intelligence]
(abstract and electronic version)
-
NEW:
A replica exchange Monte Carlo algorithm for protein folding in the HP model.
Chris Thachuk, Alena Shmygelska, Holger H. Hoos -
BMC Bioinformatics, 8:342, 2007.
[protein structure, stochastic local search, bioinformatics]
(abstract and electronic version - Open Access)
-
NEW:
Boosting Verification by Automatic Tuning of Decision Procedures.
Frank Hutter, Domagoj Babic, Holger H. Hoos and Alan Hu -
Proceedings of the 7th International Conference on
Formal Methods in Computer-Aided Design (FMCAD-07), pp. 27-34, 2007.
[formal verification, automated algorithm configuration, SAT, stochastic local search, AI]
Using the automated tuning approach described in this paper, the Spear solver
(also described herein) won the QF_BV category of the 2007 Satisfiability Modulo Theories (SMT) Competition.
(coming soon)
-
NEW:
SATzilla-07: The Design and Analysis of an Algorithm Portfolio for SAT.
Lin Xu, Frank Hutter, Holger H. Hoos and Kevin Leyton-Brown -
Proceedings of the 13th International Conference on Principles and Practice of Constraint Programming (CP-07),
pp. 712-727, 2007.
[SAT, run-time prediction, automated algorithm configuration, AI]
The portfolio SAT solver described in this paper won 3 gold medals, 1 silver and 1 bronze in the
2007 SAT competition.
(coming soon)
-
NEW:
Hierarchical Hardness Models for SAT.
Lin Xu, Holger H. Hoos and Kevin Leyton-Brown -
Proceedings of the 13th International Conference on Principles and Practice of Constraint Programming (CP-07),
pp. 696-711, 2007.
[SAT, run-time prediction, systematic search, empirical algorithmics, AI]
(coming soon)
-
NEW:
Efficient parameter estimation for RNA secondary structure prediction.
Mirela Andronescu, Anne Condon, Holger H. Hoos, David H. Mathews and Kevin P. Murphy -
Bioinformatics, 23(13):i19-i28, 2007.
(This work was also presented at the 15th Annual International Conference on Intelligent Systems for Molecular Biology, ISMB 2007.)
[RNA secondary structure, parameter estimation, bioinformatics]
(abstract and electronic version - Open Access)
-
NEW:
Automatic Algorithm Configuration based on Local Search.
Frank Hutter, Holger H. Hoos and Thomas Stützle -
Proceedings of the 22nd Conference on Artificial Intelligence (AAAI-07), pp. 1152-1157, 2007.
[automatic algorithm configuration, stochastic local search, empirical algorithmics, AI]
(get PDF file - 176k)
-
NEW:
An Adaptive Bin Framework Search Method for a Beta-Sheet Protein Homopolymer Model.
Alena Shmygelska and Holger H. Hoos -
BMC Bioinformatics, 8:136, 2007.
[bioinformatics, protein structure, stochastic local search]
(abstract and electronic version - Open Access)
-
NEW:
Empirical Analysis of Randomized Algorithms.
Holger H. Hoos and Thomas Stützle -
Chapter 14, Handbook of Approximation Algorithms and Metaheuristics,
Chapman & Hall/CRC, 2007.
[empirical algorithmics]
(see more information / buy the book)
-
NEW:
Stochastic Local Search.
Holger H. Hoos and Thomas Stützle -
Chapter 19, Handbook of Approximation Algorithms and Metaheuristics,
Chapman & Hall/CRC, 2007.
[stochastic local search]
(see more information / buy the book)
-
NEW:
A Parallel Workflow for Real-time Correlation and Clustering of High-Frequency Stock Market Data.
Camilo Rostoker, Alan Wagner and Holger Hoos -
Proceedings of the 21th International Parallel and Distributed Processing Symposium
(IPDPS 2007), pp. 1-10, IEEE Computer Society, 2007.
[financial data analysis, maximum clique problem, correlation analysis, parallel computing, stochastic local search]
(get PDF file - 1092k)
-
NEW:
Computational RNA Secondary Structure Design: Empirical Complexity and Improved Methods.
Rosalia Aguirre-Hernandez, Holger H. Hoos and Anne Condon -
BMC Bioinformatics, 8:34, 2007.
[bioinformatics, RNA secondary structure, empirical algorithmics]
(abstract and electronic version - Open Access)
-
Performance Prediction and Automated Configuration of Randomized Algorithms.
Frank Hutter, Youssef Hamadi, Holger H. Hoos and Kevin Leyton-Brown -
Proceedings of the 12th International Conference on Principles and Practice of Constraint Programming (CP-06),
pp. 213-228, 2006.
[run-time prediction, algorithm configuration, stochastic local search, empirical algorithmics, SAT, AI]
(get PDF file - 1901k)
-
Local Search Methods.
Holger H. Hoos and Edward Tsang -
Chapter 5, Handbook of Constraint Programming,
Elsevier, 2006.
[stochastic local search, constraint satisfaction, SAT, AI]
(see more information / buy the book)
-
On the Quality and Quantity of Random Decisions in Stochastic Local Search for SAT.
Dave A.D. Tompkins and Holger H. Hoos -
Proceedings of the
19th Conference of the Canadian Society for Computational Studies of Intelligence,
(AI-2006), Volume 4013 of Lecture Notes in Artificial Intelligence, pp. 146-158, 2006.
[stochastic local search, empirical algorithmics, SAT, AI]
This paper won the AI 2006 best paper award.
(get PDF file - 390k)
- Dynamic Local Search for the Maximum Clique Problem.
Wayne Pullan and Holger H. Hoos
- Journal of Artificial Intelligence Research, Volume 25, pages 159-185, 2006.
[maximum clique problem, stochastic local search, AI]
(get PDF file - 448k)
- An Analysis of the Hardness of TSP Instances for Two High-performance Algorithms.
Thomas Fischer, Thomas Stützle, Holger Hoos and Peter Merz
- Proceedings of the 6th Metaheuristics International Conference (MIC 2005), pp. 361-367, 2005.
[TSP, empirical algorithmics, stochastic local search, systematic search, AI]
(get PDF file - 103k)
- Efficient Stochastic Local Search for MPE Solving.
Frank Hutter, Holger H. Hoos and Thomas Stützle
- Proceedings of the 19th International Joint Conference on Artificial Intelligence
(IJCAI-05), pp. 169-174, 2005.
[stochastic local search, AI, empirical algorithmics, MPE problem]
(get PDF file - 174k)
- HotKnots: Heuristic Prediction of RNA Secondary Structures Including Pseudoknots
Jihong Ren, Baharak Rastegari, Anne Condon and Holger H. Hoos
- RNA, 11(10):1494-1504, 2005.
[RNA secondary structure, bioinformatics]
(abstract and electronic version - Open Access)
-
An Ant Colony Optimisation Algorithm for the 2D and 3D Hydrophobic Polar Protein Folding Problem.
Alena Shmygelska and Holger H. Hoos -
BMC Bioinformatics, 6:30, 2005.
[protein structure, stochastic local search, bioinformatics]
(abstract and electronic version - Open Access)
-
Stochastic Local Search: Foundations and Applications.
Holger H. Hoos and Thomas Stützle - Elsevier / Morgan Kaufmann, San Francisco (CA), USA, 2004.
[stochastic local search, AI, empirical algorithmics]
(buy it;
more information, including a table of contents and sample pages, available
at www.sls-book.net)
- A New Algorithm for RNA Secondary Structure Design.
Mirela Andronescu, Anthonty P. Fejes, Frank Hutter, Anne Condon,
and Holger H. Hoos
- Journal of Molecular Biology, 336(3): 607-624, 2004.
[bioinformatics, stochastic local search, RNA secondary structure]
(abstract and electronic version - via Science Direct))
- MusicBLAST - Gapped Sequence Alignment for MIR
(short paper).
Jürgen Kilian and Holger H. Hoos
- Proceedings of the 5th International Conference on Music Information Retrieval (ISMIR 2004),
p. 38-41, 2004.
[music information retrieval, pattern matching, AI, music]
(get PDF file - 130k)
- UBCSAT: An Implementation and Experimentation Environment
for SLS Algorithms for SAT and MAX-SAT.
Dave A.D. Tompkins and Holger H. Hoos
- Proceedings of the 7th International Conference on
Theory and Applications of Satisfiability Testing
(SAT 2004), pp. 37-46, 2004.
[stochastic local search, AI, empirical algorithmics, SAT, MAX-SAT]
(get PDF file - 109k)
- Warped Landscapes and Random Acts of SAT Solving.
Dave A.D. Tompkins and Holger H. Hoos
- Proc. of the Eighth International Symposium on Artificial
Intelligence and Mathematics (AIMA-04), 2004.
[stochastic local search, AI, empirical algorithmics, SAT]
(get PDF file - 109k)
- CP-nets: A Tool for Representing and Reasoning with Conditional Ceteris Paribus Preference Statements.
Craig Boutilier, Ronen I. Brafman, Carmel Domshlak, Holger H. Hoos, and David Poole
- Journal of Artificial Intelligence Research, Volume 21, pp. 135-191, 2004.
[AI, knowledge representation, preferences]
(get pdf file - 593k)
- Preference-based Constraint Optimization with CP-nets.
Craig Boutilier, Ronen I. Brafman, Carmel Domshlak, Holger H. Hoos,
and David Poole
- Computational Intelligence 20 (2), pp. 137-157, 2004.
[AI, preferences, knowledge representation]
(abstract and electronic version - via Blackwell Synergy)
- Inference of transcriptional regulation relationships from
gene expression data.
Andrew T. Kwon, Holger H. Hoos, and Raymond Ng
- Bioinformatics 19:905-912, 2003.
[bioinformatics, gene regulation]
(This is a slightly modified version of
the SAC 2003 paper listed below.)
- RNAsoft: a suite of RNA secondary structure prediction and design software tools.
Mirela Andronescu, Rosalia Aguirre-Hernandez, Anne Condon,
and Holger H. Hoos
- Nucleic Acids Research, 31 (13): 3416-3422, 2003.
[bioinformatics, RNA secondary structure]
(abstract and electronic version - via NAR website))
- An Improved Ant Colony Optimisation Algorithm
for the 2D HP Protein Folding Problem.
Alena Shmygelska and Holger H. Hoos
- Proc. of the 16th Canadian Conference on Artificial Intelligence
(AI'2003), LNCS 2671, pp. 400-417, Springer Verlag, 2003.
[bioinformatics, stochastic local search, ACO, protein structure prediction]
(get PDF file - 204k)
- Hybrid Randomised Neighbourhoods Improve Stochastic Local Search
for DNA Code Design.
Dan C. Tulpan and Holger H. Hoos
- Proc. of the 16th Canadian Conference on Artificial Intelligence
(AI'2003), LNCS 2671, pp. 418-433, Springer Verlag, 2003.
[bioinformatics, stochastic local search, DNA code design]
(get PDF file - 149k)
- Inference of Transcriptional Regulation Relationships with Gene Expression Data.
Andrew Tae-Jun Kwon, Holger H. Hoos, Raymond Ng
- Proceedings of the 18th ACM Symposium on Applied Computing (SAC 2003), 2003.
[bioinformatics, gene regulation]
]
(get PDF file - 224k)
- Using Stochastic Local Search to Solve Quantified Boolean Formulae.
Ian P. Gent, Holger H. Hoos, Andrew G. D. Rowley, and Kevin Smyth
- Proc. of the Ninth International Conference on
Principles and Practice of Constraint Programming (CP-03),
LNCS 2833, pp. 348-362, Springer Verlag, 2003.
[stochastic local search, AI, empirical algorithmics, QBF]
(get PDF file - 195k)
- Iterated Robust Tabu Search for MAX-SAT.
Kevin Smyth, Holger H. Hoos, and Thomas Stützle
- Proc. of the 16th Canadian Conference on Artificial Intelligence
(AI'2003), LNCS 2671, pp. 129-144, Springer Verlag, 2003.
[stochastic local search, AI, empirical algorithmics, MAX-SAT]
(get PDF file - 146k)
- Scaling and Probabilistic Smoothing: Dynamic Local Search for Unweighted MAX-SAT.
Dave A.D. Tompkins and Holger H. Hoos
- Proc. of the 16th Canadian Conference on Artificial Intelligence
(AI'2003), LNCS 2671, pp. 145-159, Springer Verlag, 2003.
[stochastic local search, AI, empirical algorithmics, MAX-SAT]
(get PDF file - 193k)
Note: Please check our errata page.
- Stochastic Local Search for Multiprocessor Scheduling for Minimimum Total Tardiness.
Michael Pavlin, Holger H. Hoos, and Thomas Stützle
- Proc. of the 16th Canadian Conference on Artificial Intelligence
(AI'2003), LNCS 2671, pp. 96-113, Springer Verlag, 2003.
[stochastic local search, AI, empirical algorithmics, scheduling]
(get PDF file - 105k)
- Jürgen Kilian and Holger H. Hoos:
Voice Separation - A Local Optimization Approach .
Proceedings of the 3rd International Conference
on Music Information Retrieval (ISMIR 2002), pp.39-46,
Institut de Recherche et Coordination Acoustique/Musique (IRCAM),
Paris, France, 2002.
(get pdf file - 652k)
- Alena Shmygelska, Rosalia Aguirre-Hernandez, and Holger H. Hoos:
An Ant Colony Optimisation Algorithm for the 2D HP Protein Folding Problem
(In: Proceedings of ANTS 2002, LNCS 2453, pp. 40-52, Springer Verlag, 2002.
This paper won the ANTS 2002 Best Paper Award.)
[stochastic local search, ACO, bioinformatics, AI, empirical algorithmics, protein structure prediction]
(get gzipped postscript file - 87k,
pdf file - 257k)
- Dan C. Tulpan, Holger Hoos, and Anne Condon:
Stochastic Local Search Algorithms for DNA Word Design.
Preliminary Proc. of Eighth International Meeting on
DNA Based Computers (DNA 8),
pp.311-323, 2002.
[bioinformatics, stochastic local search, coding theory, RNA code design]
(online version will be available soon)
- Christine E. Heitsch, Anne E. Condon, Holger H. Hoos:
From RNA Secondary Structure to Coding Theory: A Combinatorial Approach.
Preliminary Proc. of Eighth International Meeting on
DNA Based Computers (DNA 8)
pp.125-136, 2002.
[bioinformatics, coding theory, RNA structure]
(online version will be available soon)
- Frank Hutter, Dave A.D. Tompkins, and Holger H. Hoos:
Scaling and Probabilistic Smoothing: Efficient Dynamic Local Search for SAT.
(In: Proceedings of CP-02, pp. 233-248, LNCS 2470, Springer Verlag, 2002)
[stochastic local search, AI, empirical algorithmics, SAT]
(get gzipped postscript file - 105k,
pdf file - 468k)
- Holger H. Hoos:
An Adaptive Noise Mechanism for WalkSAT.
(In: Proceedings of AAAI-02, pp. 655-660, AAAI Press / The MIT Press, 2002)
[stochastic local search, AI, empirical algorithmics, SAT]
(get pdf file - 106k;
note that there was a small error in the printed version of the paper
that has been corrected in the electronic version available here - see
erratum at the end of the PDF document.)
- Holger H. Hoos:
A Mixture-Model for the Behaviour of SLS Algorithms for SAT.
(In: Proceedings of AAAI-02, pp. 661-667, AAAI Press / The MIT Press, 2002)
[stochastic local search, AI, empirical algorithmics, SAT]
(get gzipped postscript file - 113k,
pdf file - 409k)
- Thomas Stützle and Holger Hoos:
Ameisenalgorithmen zur Lösung kombinatorischer
Optimierungsprobleme.
(Künstliche Intelligenz, Heft 1/01, pp. 45-51, 2001)
[stochastic local search, ACO, AI]
(this paper will be available online soon!)
- in german -
- Holger H. Hoos, Kai Renz, and Marko Görg:
GUIDO/MIR - an Experimental Musical Information Retrieval System
based on GUIDO Music Notation.
Proceedings of the 2nd International Symposium
on Music Information Retrieval (ISMIR 2001), pp.41-50,
Indiana University, Bloomington (IN), USA, 2001.
(see abstract;
get zipped postscript file - 160k,
pdf file - 187k,
BibTeX entry)
- Holger H. Hoos, Keith A. Hamel, Kai Renz, and Jürgen Kilian:
Representing Score-Level Music Using the GUIDO Music-Notation Format
.
Computing in Musicology, Vol 12, MIT Press, 2001.
(see abstract;
get BibTeX entry)
- Craig Boutilier and Holger H. Hoos:
Bidding Languages for Combinatorial Auctions.
(Proc. of IJCAI-01, pp. 1211-1217, 2001)
[AI, knowledge representation, combinatorial auctions]
(get gzipped postscript file - 38k,
pdf file - 91k)
- Thomas Stützle and Holger Hoos:
MAX-MIN Ant System.
(Future Generation Computer Systems, Vol.16 (8), pp. 889-914, 2000)
[stochastic local search, ACO, AI, empirical algorithmics, TSP]
(get gzipped postscript file - 209k,
pdf file - 707k;
these are for the almost-final version)
- Holger H. Hoos and Thomas Stützle:
SATLIB: An Online Resource for Research on SAT.
(In: I.P.Gent, H.v.Maaren, T.Walsh, editors, SAT 2000,
pp. 283-292, IOS Press, 2000)
[AI, empirical algorithmics, SAT]
(get gzipped postscript file - 33k,
pdf file - 60k;
these are for the almost-final version)
- Holger H. Hoos and Thomas Stützle:
Local Search Algorithms for SAT: An Empirical Evaluation.
(Journal of Automated Reasoning, Vol.24, pp. 421-481, 2000)
A modified version appeared as a book chapter in:
I.P.Gent, H.v.Maaren, T.Walsh, editors, SAT 2000,
pp. 43-86, IOS Press, 2000.
[stochastic local search, AI, empirical algorithmics, SAT]
(get gzipped postscript file - 288k,
pdf file - 796k;
these are for the almost-final version)
- Jürgen Kilian, Holger H. Hoos:
VISCO - Visual SALIERI Components.
Proceedings of ICMC 2000, p.454-457, ICMA, San Francisco, 2000.
(see abstract;
get zipped postscript file - 380k,
zipped pdf file - 280k,
BibTeX entry)
- Joseph Culberson, Ian P. Gent, and Holger Hoos:
On the Probabilistic Approximate Completeness of WalkSAT for 2-SAT.
(Technical Report APES-15a-2000, APES Research Group, 2000.)
[stochastic local search, AI, SAT]
(get gzipped postscript file - 57k,
pdf file - 161k)
- Holger H. Hoos and Craig Boutilier:
Solving Combinatorial Auctions using Stochastic Local Search.
(Proc. of AAAI-2000, pp. 22-29, MIT Press, 2000)
[AI, stochastic local search, combinatorial auctions]
(get gzipped postscript file - 46k,
pdf file - 104k)
- Holger H. Hoos and Kevin O'Neill:
Stochastic Local Search Methods for Dynamic SAT
- an Initial Investigation.
(AAAI-2000 Workshop 'Leveraging Probability and
Uncertainty in Computation', pp. 22-26, 2000)
An earlier version appeared as Technical Report TR-00-01,
Department of Computer Science, University of British Columbia, Feb 2000.
[AI, stochastic local search, SAT]
(get gzipped postscript file - 39k,
pdf file - 73k)
- Thomas Stützle and Holger H. Hoos:
Analyzing the Run-time Behaviour of Iterated Local Search for the TSP.
(Proc. of the 3rd Metaheuristics International Conference (MIC 1999), pp. 449-453, 1999)
[stochastic local search, AI, empirical algorithmics, TSP]
(This paper will be available online soon!)
- Holger H. Hoos, Keith A. Hamel, Kai Renz:
Using Advanced GUIDO
as a Notation Interchange Format.
Proceedings of ICMC'99, p.395-398, ICMA San Francisco, 1999.
(see abstract;
get zipped postscript file - 110k,
pdf file - 56k,
BibTeX entry)
- Holger H. Hoos and Thomas Stützle:
Developing New Concepts to Characterise Empirical Phenomena.
(Proc. of the IJCAI-99 Workshop on Empirical AI, pp. 59-67, 1999)
[AI, empirical algorithmics]
(see abstract;
get gzipped postscript file - 23k,
pdf file - 43k,
BibTeX entry)
- Holger H. Hoos:
Heavy-Tailed Behaviour in Randomised Systematic Search Algorithms for SAT?
(Technical Report TR-99-16. Department of Computer Science,
University of British Columbia, 1999)
[systematic search, AI, empirical algorithmics, SAT]
(get gzipped postscript file - 150k,
pdf file - 445k)
- Holger H. Hoos and Thomas Stützle:
Towards a Characterisation of the Behaviour of
Stochastic Local Search Algorithms for SAT.
(Artificial Intelligence Journal, Vol.112, pp. 213-232, 1999)
[stochastic local search, AI, empirical algorithmics, SAT]
(get gzipped postscript file - 91k,
pdf file - 261k;
these are for the almost-final version)
- Holger H. Hoos and Thomas Stützle:
Systematic vs. Local Search for SAT.
(Proc. of KI-99, LNAI 1701, pp. 289-293, Springer, 1999)
A longer version appeared as Technical Report TR-99-06,
Department of Computer Science, University of British Columbia, 1999.
[stochastic local search, systematic search, AI, empirical algorithmics, SAT]
(get gzipped postscript file - 60k,
pdf file - 147k)
- Holger H. Hoos:
SAT-Encodings, Search Space Structure, and Local Search Performance.
(Proc. of IJCAI-99, pp. 296-302, Morgan Kaufmann, 1999)
[stochastic local search, AI, empirical algorithmics, SAT]
(get gzipped postscript file - 53k,
pdf file - 119k)
- Ronen I. Brafman and Holger H. Hoos:
To Encode or not to Encode -- I: Linear Planning.
(Proc. of IJCAI-99, pp. 988-993, Morgan Kaufmann, 1999)
[stochastic local search, AI, empirical algorithmics, planning, SAT]
(get gzipped postscript file - 42k,
pdf file - 95k)
- Holger H. Hoos:
On the Run-time Behaviour of Stochastic Local Search
Algorithms for SAT. (Proc. of AAAI-99, pp. 661-666, MIT Press, 1999)
[stochastic local search, AI, empirical algorithmics, SAT]
(get postscript file - 105k,
pdf file - 111k)
- Ian P. Gent, Holger H. Hoos, Patrick Prosser, and Toby Walsh:
Morphing: Combining Structure and Randomness.
(Proc. of AAAI-99, pp. 654-660, MIT Press, 1999)
[AI, empirical algorithmics, SAT, QCP, TSP]
(get postscript file - 160k,
pdf file - 114k)
- Craig Boutilier, Ronen I. Brafman, Holger H. Hoos, and David Poole:
Reasoning With Conditional Ceteris Paribus Preference Statements.
(Proc. of UAI-99, Morgan Kaufmann, 1999)
[AI, preferences, knowledge representation]
(see abstract;
get gzipped postscript file - 111k,
pdf file - 144k,
BibTeX entry)
- Holger H. Hoos:
Stochastic Local Search - Methods, Models, Applications.
(PhD thesis, TU Darmstadt, 1998)
[stochastic local search, AI, empirical algorithmics]
For an abstract, downloadable versions of the full
thesis or individual parts, or a summary in German,
see my PhD thesis page.
Now available as a book! (Same title,
infix-Verlag, Sankt Augustin, Germany, 1999;
ISBN 3-89601-215-0)
The thesis is written in English.
It has won the ``Best Ph.D. Dissertation Award 1999'' of
the
German Informatics Society (GI).
- Holger H. Hoos and Thomas Stützle:
Evaluating Las Vegas Algorithms - Pitfalls and Remedies.
(Proc. of UAI-98)
[AI, empirical algorithmics]
(get postscript file - 278k)
- Thomas Stützle and Holger Hoos:
The MAX-MIN Ant System and Local Search for Combinatorial
Optimization Problems: Towards Adaptive Tools for Combinatorial
Global Optimisation.
(In: S.Voss, S.Martello, I.H.Ossmann, and C.Roucairol, editors,
Meta-Heuristic, Advances and Trends in Local Search Paradigma
for Optimization, Kluwer Academic Publishers, pp. 313-329, 1998)
[stochastic local search, ACO, AI, empirical algorithmics, TSP]
(this paper will be available online soon!)
- Thomas Stützle and Holger Hoos:
Ameisenalgorithmen zur Lösung kombinatorischer Optimierungsprobleme.
(Leipziger Informatiktage 1998)
[stochastic local search, ACO, AI]
(get gzipped postscript file - 59k)
- in german -
- Holger H. Hoos and Thomas Stützle:
Some Surprising Regularities in the Behaviour of Stochastic Local Search.
(Poster summary, Proceedings of CP-98, p. 470)
[stochastic local search, AI, empirical algorithmics, SAT]
(get postscript file - 34k)
- Holger H. Hoos, Keith A. Hamel, Kai Renz, Jürgen Kilian:
The GUIDO Music Notation Format - A Novel Approach for Adequately
Representing Score-level Music.
Proceedings of ICMC'98, p.451-454, ICMA, San Francisco, 1998.
(get zipped postscript file - 144k,
pdf file - 170k)
- Holger H. Hoos, Jürgen Kilian, Kai Renz, Thomas Helbich:
SALIERI - A General, Interactive Computer Music System.
Proceedings of ICMC'98, p.385-392, ICMA, San Francisco, 1998.
(get zipped postscript file - 172k,
pdf file - 186k)
- Kai Renz, Holger H. Hoos:
A Web-based Approach to Music Notation Using GUIDO.
Proceedings of ICMC'98, p.455-458, ICMA, San Francisco, 1998.
(get zipped postscript file - 138k,
pdf file - 186k)
- Kai Renz, Holger H. Hoos:
An HTTP Interface to SALIERI.
Proceedings of ICMC'98, p.272-275, ICMA, San Francisco, 1998.
(get zipped postscript file - 112k,
pdf file - 122k)
- Ronen I. Brafman, Holger H. Hoos, and Craig Boutilier:
LPSP - A Linear, Plan-Level Stochastic Planner.
(17th Workshop of the UK Planning and Scheduling
Special Interest Group, West York, UK, September 1998)
[stochastic local search, AI, empirical algorithmics, planning]
(get postscript file - 201k)
- Holger H. Hoos, Keith A. Hamel, Kai Renz, Jürgen Kilian:
GUIDO Music Notation - Towards an Adequate Representation
of Score-level Music.
Proceedings of JIM'98, LMA-CNSR, 1998.
(get zipped postscript file - 169k,
pdf file - 241k)
- Holger H. Hoos and Thomas Stützle:
A Characterization the Run-time Behaviour of Stochastic Local Search.
(Technical Report AIDA-98-01)
[stochastic local search, AI, empirical algorithmics, SAT]
(get postscript file - 286k)
- Thomas Stützle and Holger Hoos:
The MAX-MIN Ant System and Local Search for Combinatorial
Optimization Problems:
Towards Adaptive Tools for Combinatorial Global Optimization.
(MIC-97)
[stochastic local search, ACO, AI, empirical algorithmics, TSP]
(get postscript file - 222k)
- Thomas Stützle and Holger Hoos:
The MAX-MIN Ant System and Local Search
for the Traveling Salesman Problem.
(IEEE International Conference on Evolutionary Computation 1997)
[stochastic local search, ACO, AI, empirical algorithmics, TSP]
(get postscript file - 174k)
- Thomas Stützle and Holger Hoos:
Improvements on the Ant System: Introducing
the MAX-MIN Ant System. (ICANNGA'97)
[stochastic local search, ACO, AI, empirical algorithmics, TSP]
(get postscript file - 137k)
- Thomas Stützle and Holger Hoos:
Improvements of the ANT-System
- Introducing the Max-Min Ant System.
(Technical Report AIDA-96-12, TH Darmstadt, 1996 - revised version)
[stochastic local search, ACO, AI, empirical algorithmics, TSP]
(get (postscript file - 332k)
- Holger H. Hoos and Thomas Stützle:
A Characterization of GSAT's Performance on a
Class of Hard Structured Problems.
(Technical Report AIDA-96-20)
[stochastic local search, AI, empirical algorithmics, SAT]
(get postscript file - 210k)
- Holger H. Hoos:
Solving Hard Combinatorial Problems with GSAT
- A Case Study. (KI-96)
[stochastic local search, AI, empirical algorithmics, SAT]
(get postscript file - 141k)
- Holger H. Hoos:
Aussagenlogische SAT-Verfahren und ihre Anwendung
bei der Lösung des HC-Problems in gerichteten Graphen.
(Diplomarbeit, TH Darmstadt 1996)
[stochastic local search, AI, empirical algorithmics, SAT]
(get postscript file - 1.009k)
- in german -
Holger H. Hoos:
Propositional SAT Algorithms and their Application
to Solving HC Problems in Directed Graphs.
(Summary of my Masters Thesis, TH Darmstadt 1996)
(get postscript file - 45k)
- S. Hölldobler, H. Hoos, A. Strohmaier, and A. Weiß:
The GSAT/SA Familiy - relating greedy satisfiability
to simulated annealing.
(Technical Report AIDA-94-17, TH Darmstadt, 1994)
[stochastic local search, AI, empirical algorithmics, SAT]
(get postscript file - 298k)
- A. Beringer, G. Aschemann, H. Hoos, M. Metzger, and A. Weiß:
GSAT versus Simulated Annealing. (ECAI 1994)
[stochastic local search, AI, empirical algorithmics, SAT]
(get postscript file - 118k)
- A. Beringer, G. Aschemann, H. Hoos, M. Metzger, and A. Weiß:
GSAT and Simulated Annealing - a comparison.
(Technical Report AIDA-94-01, TH Darmstadt, 1994)
[stochastic local search, AI, empirical algorithmics, SAT]
(get postscript file - 289k)