The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Holger H. Hoos: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Ian P. Gent, Holger H. Hoos, Patrick Prosser, Toby Walsh
    Morphing: Combining Structure and Randomness. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, 1999, pp:654-660 [Conf]
  2. Holger H. Hoos
    An Adaptive Noise Mechanism for WalkSAT. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, 2002, pp:655-660 [Conf]
  3. Holger H. Hoos
    A Mixture-Model for the Behaviour of SLS Algorithms for SAT. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, 2002, pp:661-667 [Conf]
  4. Holger H. Hoos
    On the Run-time Behaviour of Stochastic Local Search Algorithms for SAT. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, 1999, pp:661-666 [Conf]
  5. Holger H. Hoos, Craig Boutilier
    Solving Combinatorial Auctions Using Stochastic Local Search. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, 2000, pp:22-29 [Conf]
  6. Michael Pavlin, Holger H. Hoos, Thomas Stützle
    Stochastic Local Search for Multiprocessor Scheduling for Minimum Total Tardiness. [Citation Graph (0, 0)][DBLP]
    Canadian Conference on AI, 2003, pp:96-113 [Conf]
  7. Alena Shmygelska, Holger H. Hoos
    An Improved Ant Colony Optimisation Algorithm for the 2D HP Protein Folding Problem. [Citation Graph (0, 0)][DBLP]
    Canadian Conference on AI, 2003, pp:400-417 [Conf]
  8. Kevin Smyth, Holger H. Hoos, Thomas Stützle
    Iterated Robust Tabu Search for MAX-SAT. [Citation Graph (0, 0)][DBLP]
    Canadian Conference on AI, 2003, pp:129-144 [Conf]
  9. Dave A. D. Tompkins, Holger H. Hoos
    Scaling and Probabilistic Smoothing: Dynamic Local Search for Unweighted MAX-SAT. [Citation Graph (0, 0)][DBLP]
    Canadian Conference on AI, 2003, pp:145-159 [Conf]
  10. Dave A. D. Tompkins, Holger H. Hoos
    On the Quality and Quantity of Random Decisions in Stochastic Local Search for SAT. [Citation Graph (0, 0)][DBLP]
    Canadian Conference on AI, 2006, pp:146-158 [Conf]
  11. Dan C. Tulpan, Holger H. Hoos
    Hybrid Randomised Neighbourhoods Improve Stochastic Local Search for DNA Code Design. [Citation Graph (0, 0)][DBLP]
    Canadian Conference on AI, 2003, pp:418-433 [Conf]
  12. Dave A. D. Tompkins, Holger H. Hoos
    Warped Landscapes and Random Acts of SAT Solving. [Citation Graph (0, 0)][DBLP]
    AMAI, 2004, pp:- [Conf]
  13. Alena Shmygelska, Rosalía Aguirre-Hernández, Holger H. Hoos
    An Ant Colony Optimization Algorithm for the 2D HP Protein Folding Problem. [Citation Graph (0, 0)][DBLP]
    Ant Algorithms, 2002, pp:40-53 [Conf]
  14. Ian P. Gent, Holger H. Hoos, Andrew G. D. Rowley, Kevin Smyth
    Using Stochastic Local Search to Solve Quantified Boolean Formulae. [Citation Graph (0, 0)][DBLP]
    CP, 2003, pp:348-362 [Conf]
  15. Holger H. Hoos, Thomas Stützle
    Some Surprising Regularities in the Behaviour of Stochastic Local Search. [Citation Graph (0, 0)][DBLP]
    CP, 1998, pp:470- [Conf]
  16. Frank Hutter, Youssef Hamadi, Holger H. Hoos, Kevin Leyton-Brown
    Performance Prediction and Automated Tuning of Randomized and Parametric Algorithms. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:213-228 [Conf]
  17. Frank Hutter, Dave A. D. Tompkins, Holger H. Hoos
    Scaling and Probabilistic Smoothing: Efficient Dynamic Local Search for SAT. [Citation Graph (0, 0)][DBLP]
    CP, 2002, pp:233-248 [Conf]
  18. Eugene Nudelman, Kevin Leyton-Brown, Holger H. Hoos, Alex Devkar, Yoav Shoham
    Understanding Random SAT: Beyond the Clauses-to-Variables Ratio. [Citation Graph (0, 0)][DBLP]
    CP, 2004, pp:438-452 [Conf]
  19. Christine E. Heitsch, Anne Condon, Holger H. Hoos
    From RNA Secondary Structure to Coding Theory: A Combinatorial Approach. [Citation Graph (0, 0)][DBLP]
    DNA, 2002, pp:215-228 [Conf]
  20. Dan C. Tulpan, Holger H. Hoos, Anne Condon
    Stochastic Local Search Algorithms for DNA Word Design. [Citation Graph (0, 0)][DBLP]
    DNA, 2002, pp:229-241 [Conf]
  21. Antje Beeringer, Gerd Aschemann, Holger H. Hoos, Michael Metzger, Andreas Weiss
    GSAT versus Simulated Annealing. [Citation Graph (0, 0)][DBLP]
    ECAI, 1994, pp:130-134 [Conf]
  22. Craig Boutilier, Holger H. Hoos
    Bidding Languages for Combinatorial Auctions. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2001, pp:1211-1217 [Conf]
  23. Ronen I. Brafman, Holger H. Hoos
    To Encode or Not to Encode - Linear Planning. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1999, pp:988-995 [Conf]
  24. Holger H. Hoos
    SAT-Encodings, Search Space Structure, and Local Search Performance. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1999, pp:296-303 [Conf]
  25. Frank Hutter, Holger H. Hoos, Thomas Stützle
    Efficient Stochastic Local Search for MPE Solving. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2005, pp:169-174 [Conf]
  26. Holger H. Hoos, Kai Renz, Marko Görg
    GUIDO/MIR - an Experimental Musical Information Retrieval System based on GUIDO Music Notation. [Citation Graph (0, 0)][DBLP]
    ISMIR, 2001, pp:41-50 [Conf]
  27. Jürgen Kilian, Holger H. Hoos
    Voice Separation - A Local Optimization Approach. [Citation Graph (0, 0)][DBLP]
    ISMIR, 2002, pp:- [Conf]
  28. Jürgen Kilian, Holger H. Hoos
    MusicBLAST - Gapped Sequence Alignment for MIR. [Citation Graph (0, 0)][DBLP]
    ISMIR, 2004, pp:- [Conf]
  29. Holger H. Hoos
    Solving Hard Combinatorial Problems with GSAT - A Case Study. [Citation Graph (0, 0)][DBLP]
    KI, 1996, pp:107-119 [Conf]
  30. Holger H. Hoos, Thomas Stützle
    Systematic vs. Local Search for SAT. [Citation Graph (0, 0)][DBLP]
    KI, 1999, pp:289-293 [Conf]
  31. Holger H. Hoos, Kevin Smyth, Thomas Stützle
    Search Space Features Underlying the Performance of Stochastic Local Search Algorithms for MAX-SAT. [Citation Graph (0, 0)][DBLP]
    PPSN, 2004, pp:51-60 [Conf]
  32. Andrew Tae-Jun Kwon, Holger H. Hoos, Raymond T. Ng
    Inference of Transcriptional Regulation Relationships from Gene Expression Data. [Citation Graph (0, 0)][DBLP]
    SAC, 2003, pp:135-140 [Conf]
  33. Dave A. D. Tompkins, Holger H. Hoos
    UBCSAT: An Implementation and Experimentation Environment for SLS Algorithms for SAT & MAX-SAT. [Citation Graph (0, 0)][DBLP]
    SAT, 2004, pp:- [Conf]
  34. Dave A. D. Tompkins, Holger H. Hoos
    UBCSAT: An Implementation and Experimentation Environment for SLS Algorithms for SAT and MAX-SAT. [Citation Graph (0, 0)][DBLP]
    SAT (Selected Papers, 2004, pp:306-320 [Conf]
  35. Craig Boutilier, Ronen I. Brafman, Holger H. Hoos, David Poole
    Reasoning With Conditional Ceteris Paribus Preference Statements. [Citation Graph (0, 0)][DBLP]
    UAI, 1999, pp:71-80 [Conf]
  36. Holger H. Hoos, Thomas Stützle
    Evaluating Las Vegas Algorithms: Pitfalls and Remedies. [Citation Graph (0, 0)][DBLP]
    UAI, 1998, pp:238-245 [Conf]
  37. Holger H. Hoos, Thomas Stützle
    Towards a Characterisation of the Behaviour of Stochastic Local Search Algorithms for SAT. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1999, v:112, n:1-2, pp:213-232 [Journal]
  38. 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. [Citation Graph (0, 0)][DBLP]
    AI Magazine, 2001, v:22, n:1, pp:127-136 [Journal]
  39. Andrew T. Kwon, Holger H. Hoos, Raymond T. Ng
    Inference of Transcriptional Regulation Relationships from Gene Expression Data. [Citation Graph (0, 0)][DBLP]
    Bioinformatics, 2003, v:19, n:8, pp:905-912 [Journal]
  40. Alena Shmygelska, Holger H. Hoos
    An ant colony optimisation algorithm for the 2D and 3D hydrophobic polar protein folding problem. [Citation Graph (0, 0)][DBLP]
    BMC Bioinformatics, 2005, v:6, n:, pp:30- [Journal]
  41. 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. [Citation Graph (0, 0)][DBLP]
    J. Artif. Intell. Res. (JAIR), 2004, v:21, n:, pp:135-191 [Journal]
  42. Holger H. Hoos, Thomas Stützle
    Local Search Algorithms for SAT: An Empirical Evaluation. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2000, v:24, n:4, pp:421-481 [Journal]
  43. Thomas Stützle, Holger H. Hoos
    Ameisenalgorithmen zur Lösung kombinatorischer Optimierungsprobleme. [Citation Graph (0, 0)][DBLP]
    KI, 2001, v:15, n:1, pp:45-51 [Journal]
  44. Mirela Andronescu, Rosalía Aguirre-Hernández, Anne Condon, Holger H. Hoos
    RNAsoft: a suite of RNA secondary structure prediction and design software tools. [Citation Graph (0, 0)][DBLP]
    Nucleic Acids Research, 2003, v:31, n:13, pp:3416-3422 [Journal]
  45. Frank Hutter, Holger H. Hoos, Thomas Stützle
    Automatic Algorithm Configuration Based on Local Search. [Citation Graph (0, 0)][DBLP]
    AAAI, 2007, pp:1152-1157 [Conf]
  46. Lin Xu, Frank Hutter, Holger H. Hoos, Kevin Leyton-Brown
    : The Design and Analysis of an Algorithm Portfolio for SAT. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:712-727 [Conf]
  47. Lin Xu, Holger H. Hoos, Kevin Leyton-Brown
    Hierarchical Hardness Models for SAT. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:696-711 [Conf]
  48. Camilo Rostoker, Alan Wagner, Holger H. Hoos
    A Parallel Workflow for Real-time Correlation and Clustering of High-Frequency Stock Market Data. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2007, pp:1-10 [Conf]
  49. Thomas Stützle, Holger H. Hoos
    MAX-MIN Ant System. [Citation Graph (0, 0)][DBLP]
    Future Generation Comp. Syst., 2000, v:16, n:8, pp:889-914 [Journal]
  50. Wayne J. Pullan, Holger H. Hoos
    Dynamic Local Search for the Maximum Clique Problem. [Citation Graph (0, 0)][DBLP]
    J. Artif. Intell. Res. (JAIR), 2006, v:25, n:, pp:159-185 [Journal]

  51. Computer-Aided Algorithm Design: Automated Tuning, Configuration, Selection, and Beyond. [Citation Graph (, )][DBLP]


  52. Automated Configuration of Mixed Integer Programming Solvers. [Citation Graph (, )][DBLP]


  53. Boosting Verification by Automatic Tuning of Decision Procedures. [Citation Graph (, )][DBLP]


  54. An experimental investigation of model-based parameter optimisation: SPO and beyond. [Citation Graph (, )][DBLP]


  55. SATenstein: Automatically Building Local Search SAT Solvers from Components. [Citation Graph (, )][DBLP]


  56. Efficient parameter estimation for RNA secondary structure prediction. [Citation Graph (, )][DBLP]


  57. Dynamic Scoring Functions with Variable Expressions: New SLS Methods for Solving SAT. [Citation Graph (, )][DBLP]


  58. On Effectively Finding Maximal Quasi-cliques in Graphs. [Citation Graph (, )][DBLP]


  59. Time-Bounded Sequential Parameter Optimization. [Citation Graph (, )][DBLP]


  60. An adaptive bin framework search method for a beta-sheet protein homopolymer model. [Citation Graph (, )][DBLP]


  61. Computational RNA secondary structure design: empirical complexity and improved methods. [Citation Graph (, )][DBLP]


  62. A replica exchange Monte Carlo algorithm for protein folding in the HP model. [Citation Graph (, )][DBLP]


  63. RNA STRAND: The RNA Secondary Structure and Statistical Analysis Database. [Citation Graph (, )][DBLP]


  64. Preference-Based Constrained Optimization with CP-Nets. [Citation Graph (, )][DBLP]


  65. Fixed-Parameter Tractability and Improved Approximations for Segment Minimization [Citation Graph (, )][DBLP]


Search in 0.065secs, Finished in 0.067secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002