Holger H. Hoos

According to our database1, Holger H. Hoos authored at least 181 papers between 1994 and 2018.

Collaborative distances :

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
Efficient benchmarking of algorithm configurators via model-based surrogates.
Machine Learning, 2018

Quantifying Algorithmic Improvements over Time.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

VNF chain abstraction for cloud service providers.
Proceedings of the 2018 Symposium on Architectures for Networking and Communications Systems, 2018

VNF chain allocation and management at data center scale.
Proceedings of the 2018 Symposium on Architectures for Networking and Communications Systems, 2018

Selection and Configuration of Parallel Portfolios.
Proceedings of the Handbook of Parallel Constraint Reasoning., 2018

2017
Auto-WEKA 2.0: Automatic model selection and hyperparameter optimization in WEKA.
Journal of Machine Learning Research, 2017

Static and Dynamic Portfolio Methods for Optimal Planning: An Empirical Analysis.
International Journal on Artificial Intelligence Tools, 2017

Hot-Rodding the Browser Engine: Automatic Configuration of JavaScript Compilers.
CoRR, 2017

Efficient Benchmarking of Algorithm Configuration Procedures via Model-Based Surrogates.
CoRR, 2017

Automatic construction of parallel portfolios via algorithm configuration.
Artif. Intell., 2017

The Configurable SAT Solver Challenge (CSSC).
Artif. Intell., 2017

An Experimental Study of Adaptive Capping in irace.
Proceedings of the Learning and Intelligent Optimization - 11th International Conference, 2017

AutoFolio: An Automatically Configured Algorithm Selector (Extended Abstract).
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Scalable Constraint-based Virtual Data Center Allocation.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Automatically Configuring Multi-objective Local Search Using Multi-objective Optimisation.
Proceedings of the Evolutionary Multi-Criterion Optimization, 2017

Efficient Parameter Importance Analysis via Ablation with Surrogates.
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016
Analysing differences between algorithm configurations through ablation.
J. Heuristics, 2016

Automated Algorithm Selection and Configuration (Dagstuhl Seminar 16412).
Dagstuhl Reports, 2016

SATenstein: Automatically building local search SAT solvers from components.
Artif. Intell., 2016

ASlib: A benchmark library for algorithm selection.
Artif. Intell., 2016

Quantifying the Similarity of Algorithm Configurations.
Proceedings of the Learning and Intelligent Optimization - 10th International Conference, 2016

The Impact of Automated Algorithm Configuration on the Scaling Behaviour of State-of-the-Art Inexact TSP Solvers.
Proceedings of the Learning and Intelligent Optimization - 10th International Conference, 2016

MO-ParamILS: A Multi-objective Automatic Algorithm Configuration Framework.
Proceedings of the Learning and Intelligent Optimization - 10th International Conference, 2016

Bias in Algorithm Portfolio Performance Evaluation.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Scalable, high-quality, SAT-based multi-layer escape routing.
Proceedings of the 35th International Conference on Computer-Aided Design, 2016

Taming the Complexity Monster or: How I learned to Stop Worrying and Love Hard Problems.
Proceedings of the 2016 on Genetic and Evolutionary Computation Conference, Denver, CO, USA, July 20, 2016

Solving Multi-codebook Quantization in the GPU.
Proceedings of the Computer Vision - ECCV 2016 Workshops, 2016

Revisiting Additive Quantization.
Proceedings of the Computer Vision - ECCV 2016, 2016

Using the Shapley Value to Analyze Algorithm Portfolios.
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015
Stochastic Local Search Algorithms: An Overview.
Proceedings of the Springer Handbook of Computational Intelligence, 2015

aspeed: Solver scheduling via answer set programming.
TPLP, 2015

On the empirical time complexity of finding optimal solutions vs proving optimality for Euclidean TSP instances.
Optimization Letters, 2015

AutoFolio: An Automatically Configured Algorithm Selector.
J. Artif. Intell. Res., 2015

The Configurable SAT Solver Challenge (CSSC).
CoRR, 2015

ASlib: A Benchmark Library for Algorithm Selection.
CoRR, 2015

Bank of Quantization Models: A Data-Specific Approach to Learning Binary Codes for Large-Scale Retrieval Applications.
Proceedings of the 2015 IEEE Winter Conference on Applications of Computer Vision, 2015

From Sequential Algorithm Selection to Parallel Portfolio Selection.
Proceedings of the Learning and Intelligent Optimization - 9th International Conference, 2015

Improving the State of the Art in Inexact TSP Solving Using Per-Instance Algorithm Selection.
Proceedings of the Learning and Intelligent Optimization - 9th International Conference, 2015

Programming by Optimisation Meets Parameterised Algorithmics: A Case Study for Cluster Editing.
Proceedings of the Learning and Intelligent Optimization - 9th International Conference, 2015

On the Empirical Time Complexity of Random 3-SAT at the Phase Transition.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Algorithm Runtime Prediction: Methods and Evaluation (Extended Abstract).
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Portfolio Methods for Optimal Planning: An Empirical Analysis.
Proceedings of the 27th IEEE International Conference on Tools with Artificial Intelligence, 2015

Empirical Scaling Analyser: An Automated System for Empirical Analysis of Performance Scaling.
Proceedings of the Genetic and Evolutionary Computation Conference, 2015

On the Empirical Scaling Behaviour of State-of-the-art Local Search Algorithms for the Euclidean TSP.
Proceedings of the Genetic and Evolutionary Computation Conference, 2015

AutoFolio: Algorithm Configuration for Algorithm Selection.
Proceedings of the Algorithm Configuration, 2015

Efficient Benchmarking of Hyperparameter Optimizers via Surrogates.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

SAT Modulo Monotonic Theories.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014
Filling Your Shelves: Synthesizing Diverse Style-Preserving Artifact Arrangements.
IEEE Trans. Vis. Comput. Graph., 2014

claspfolio 2: Advances in Algorithm Selection for Answer Set Programming.
TPLP, 2014

On the empirical scaling of run-time for finding optimal solutions to the travelling salesman problem.
European Journal of Operational Research, 2014

Stacked Quantizers for Compositional Vector Compression.
CoRR, 2014

ParamILS: An Automatic Algorithm Configuration Framework.
CoRR, 2014

claspfolio 2: Advances in Algorithm Selection for Answer Set Programming.
CoRR, 2014

Solver Scheduling via Answer Set Programming.
CoRR, 2014

SAT Modulo Monotonic Theories.
CoRR, 2014

Understanding the empirical hardness of NP-complete problems.
Commun. ACM, 2014

Enhanced flowType/RchyOptimyx: a Bioconductor pipeline for discovery in high-dimensional cytometry data.
Bioinformatics, 2014

Algorithm runtime prediction: Methods & evaluation.
Artif. Intell., 2014

AClib: A Benchmark Library for Algorithm Configuration.
Proceedings of the Learning and Intelligent Optimization, 2014

Algorithm Configuration in the Cloud: A Feasibility Study.
Proceedings of the Learning and Intelligent Optimization, 2014

Evaluating Instance Generators by Configuration.
Proceedings of the Learning and Intelligent Optimization, 2014

An Efficient Approach for Assessing Hyperparameter Importance.
Proceedings of the 31th International Conference on Machine Learning, 2014

Surrogate Benchmarks for Hyperparameter Optimization.
Proceedings of the International Workshop on Meta-learning and Algorithm Selection co-located with 21st European Conference on Artificial Intelligence, 2014

Improved Features for Runtime Prediction of Domain-Independent Planners.
Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling, 2014

2013
Evaluating Las Vegas Algorithms - Pitfalls and Remedies
CoRR, 2013

Reasoning With Conditional Ceteris Paribus Preference Statem
CoRR, 2013

Bayesian Optimization With Censored Response Data.
CoRR, 2013

Ensemble-based prediction of RNA secondary structures.
BMC Bioinformatics, 2013

Automatic Generation of Efficient Domain-Optimized Planners from Generic Parametrized Planners.
Proceedings of the Sixth Annual Symposium on Combinatorial Search, 2013

Using Racing to Automatically Configure Algorithms for Scaling Performance.
Proceedings of the Learning and Intelligent Optimization - 7th International Conference, 2013

Identifying Key Algorithm Parameters and Instance Features Using Forward Selection.
Proceedings of the Learning and Intelligent Optimization - 7th International Conference, 2013

Robust Benchmark Set Selection for Boolean Constraint Solvers.
Proceedings of the Learning and Intelligent Optimization - 7th International Conference, 2013

Auto-WEKA: combined selection and hyperparameter optimization of classification algorithms.
Proceedings of the 19th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2013

Ordered racing protocols for automatically configuring algorithms for scaling performance.
Proceedings of the Genetic and Evolutionary Computation Conference, 2013

An evaluation of sequential model-based optimization for expensive blackbox functions.
Proceedings of the Genetic and Evolutionary Computation Conference, 2013

Efficient modular SAT solving for IC3.
Proceedings of the Formal Methods in Computer-Aided Design, 2013

2012
Algorithm Runtime Prediction: The State of the Art
CoRR, 2012

Auto-WEKA: Automated Selection and Hyper-Parameter Optimization of Classification Algorithms
CoRR, 2012

Programming by optimization.
Commun. ACM, 2012

Analysis of energy-based algorithms for RNA secondary structure prediction.
BMC Bioinformatics, 2012

Early immunologic correlates of HIV protection can be identified from computational analysis of complex multivariate T-cell flow cytometry assays.
Bioinformatics, 2012

Evaluating Component Solver Contributions to Portfolio-Based Algorithm Selectors.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012

Automatically Configuring Algorithms for Scaling Performance.
Proceedings of the Learning and Intelligent Optimization - 6th International Conference, 2012

Quantifying Homogeneity of Instance Sets for Algorithm Configuration.
Proceedings of the Learning and Intelligent Optimization - 6th International Conference, 2012

Parallel Algorithm Configuration.
Proceedings of the Learning and Intelligent Optimization - 6th International Conference, 2012

aspeed: ASP-based Solver Scheduling.
Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012

Predicting Satisfiability at the Phase Transition.
Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

Automated Algorithm Configuration and Parameter Tuning.
Proceedings of the Autonomous Search, 2012

2011
A note on improving the performance of approximation algorithms for radiation therapy.
Inf. Process. Lett., 2011

SATzilla: Portfolio-based Algorithm Selection for SAT
CoRR, 2011

Dynamic Local Search for the Maximum Clique Problem
CoRR, 2011

CP-nets: A Tool for Representing and Reasoning withConditional Ceteris Paribus Preference Statements
CoRR, 2011

Captain Jack: New Variable Selection Heuristics in Local Search for SAT.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2011, 2011

HAL: A Framework for the Automated Analysis and Design of High-Performance Algorithms.
Proceedings of the Learning and Intelligent Optimization - 5th International Conference, 2011

Sequential Model-Based Optimization for General Algorithm Configuration.
Proceedings of the Learning and Intelligent Optimization - 5th International Conference, 2011

2010
Tradeoffs in the empirical evaluation of competing algorithm designs.
Ann. Math. Artif. Intell., 2010

Dynamic Scoring Functions with Variable Expressions: New SLS Methods for Solving SAT.
Proceedings of the Theory and Applications of Satisfiability Testing, 2010

Time-Bounded Sequential Parameter Optimization.
Proceedings of the Learning and Intelligent Optimization, 4th International Conference, 2010

Automated Configuration of Mixed Integer Programming Solvers.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2010

Computer-Aided Algorithm Design: Automated Tuning, Configuration, Selection, and Beyond.
Proceedings of the 20th International Conference on Automated Planning and Scheduling, 2010

Hydra: Automatically Configuring Algorithms for Portfolio-Based Selection.
Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

2009
ParamILS: An Automatic Algorithm Configuration Framework.
J. Artif. Intell. Res., 2009

Fixed-Parameter Tractability and Improved Approximations for Segment Minimization
CoRR, 2009

SATenstein: Automatically Building Local Search SAT Solvers from Components.
Proceedings of the IJCAI 2009, 2009

An experimental investigation of model-based parameter optimisation: SPO and beyond.
Proceedings of the Genetic and Evolutionary Computation Conference, 2009

2008
SATzilla: Portfolio-based Algorithm Selection for SAT.
J. Artif. Intell. Res., 2008

RNA STRAND: The RNA Secondary Structure and Statistical Analysis Database.
BMC Bioinformatics, 2008

2007
Stochastic Local Search.
Proceedings of the Handbook of Approximation Algorithms and Metaheuristics., 2007

Empirical Analysis of Randomized Algorithms.
Proceedings of the Handbook of Approximation Algorithms and Metaheuristics., 2007

Cognitive Principles for Information Management: The Principles of Mnemonic Associative Knowledge (P-MAK).
Minds and Machines, 2007

A replica exchange Monte Carlo algorithm for protein folding in the HP model.
BMC Bioinformatics, 2007

An adaptive bin framework search method for a beta-sheet protein homopolymer model.
BMC Bioinformatics, 2007

Computational RNA secondary structure design: empirical complexity and improved methods.
BMC Bioinformatics, 2007

Preface.
Annals OR, 2007

On Effectively Finding Maximal Quasi-cliques in Graphs.
Proceedings of the Learning and Intelligent Optimization, Second International Conference, 2007

Efficient parameter estimation for RNA secondary structure prediction.
Proceedings of the Proceedings 15th International Conference on Intelligent Systems for Molecular Biology (ISMB) & 6th European Conference on Computational Biology (ECCB), 2007

A Parallel Workflow for Real-time Correlation and Clustering of High-Frequency Stock Market Data.
Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007

Boosting Verification by Automatic Tuning of Decision Procedures.
Proceedings of the Formal Methods in Computer-Aided Design, 7th International Conference, 2007

Hierarchical Hardness Models for SAT.
Proceedings of the Principles and Practice of Constraint Programming, 2007

: The Design and Analysis of an Algorithm Portfolio for SAT.
Proceedings of the Principles and Practice of Constraint Programming, 2007

Automatic Algorithm Configuration Based on Local Search.
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006
Local Search Methods.
Proceedings of the Handbook of Constraint Programming, 2006

Die Logik des Lebens.
KI, 2006

Dynamic Local Search for the Maximum Clique Problem.
J. Artif. Intell. Res., 2006

Performance Prediction and Automated Tuning of Randomized and Parametric Algorithms.
Proceedings of the Principles and Practice of Constraint Programming, 2006

On the Quality and Quantity of Random Decisions in Stochastic Local Search for SAT.
Proceedings of the Advances in Artificial Intelligence, 2006

2005
An ant colony optimisation algorithm for the 2D and 3D hydrophobic polar protein folding problem.
BMC Bioinformatics, 2005

Efficient Stochastic Local Search for MPE Solving.
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

2004
CP-nets: A Tool for Representing and Reasoning with Conditional Ceteris Paribus Preference Statements.
J. Artif. Intell. Res., 2004

Editors' Notes.
Computer Music Journal, 2004

Preference-Based Constrained Optimization with CP-Nets.
Computational Intelligence, 2004

UBCSAT: An Implementation and Experimentation Environment for SLS Algorithms for SAT and MAX-SAT.
Proceedings of the Theory and Applications of Satisfiability Testing, 2004

UBCSAT: An Implementation and Experimentation Environment for SLS Algorithms for SAT & MAX-SAT.
Proceedings of the SAT 2004, 2004

Search Space Features Underlying the Performance of Stochastic Local Search Algorithms for MAX-SAT.
Proceedings of the Parallel Problem Solving from Nature, 2004

MusicBLAST - Gapped Sequence Alignment for MIR.
Proceedings of the ISMIR 2004, 2004

Warped Landscapes and Random Acts of SAT Solving.
Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2004

Understanding Random SAT: Beyond the Clauses-to-Variables Ratio.
Proceedings of the Principles and Practice of Constraint Programming, 2004

Stochastic Local Search: Foundations & Applications
Elsevier / Morgan Kaufmann, ISBN: 1-55860-872-9, 2004

2003
RNAsoft: a suite of RNA secondary structure prediction and design software tools.
Nucleic Acids Research, 2003

Inference of Transcriptional Regulation Relationships from Gene Expression Data.
Bioinformatics, 2003

Inference of Transcriptional Regulation Relationships from Gene Expression Data.
Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), 2003

Using Stochastic Local Search to Solve Quantified Boolean Formulae.
Proceedings of the Principles and Practice of Constraint Programming, 2003

Hybrid Randomised Neighbourhoods Improve Stochastic Local Search for DNA Code Design.
Proceedings of the Advances in Artificial Intelligence, 2003

Scaling and Probabilistic Smoothing: Dynamic Local Search for Unweighted MAX-SAT.
Proceedings of the Advances in Artificial Intelligence, 2003

Iterated Robust Tabu Search for MAX-SAT.
Proceedings of the Advances in Artificial Intelligence, 2003

An Improved Ant Colony Optimisation Algorithm for the 2D HP Protein Folding Problem.
Proceedings of the Advances in Artificial Intelligence, 2003

Stochastic Local Search for Multiprocessor Scheduling for Minimum Total Tardiness.
Proceedings of the Advances in Artificial Intelligence, 2003

2002
Voice Separation - A Local Optimization Approach.
Proceedings of the ISMIR 2002, 2002

Stochastic Local Search Algorithms for DNA Word Design.
Proceedings of the DNA Computing, 8th International Workshop on DNA Based Computers, 2002

From RNA Secondary Structure to Coding Theory: A Combinatorial Approach.
Proceedings of the DNA Computing, 8th International Workshop on DNA Based Computers, 2002

Scaling and Probabilistic Smoothing: Efficient Dynamic Local Search for SAT.
Proceedings of the Principles and Practice of Constraint Programming, 2002

An Ant Colony Optimization Algorithm for the 2D HP Protein Folding Problem.
Proceedings of the Ant Algorithms, Third International Workshop, 2002

A Mixture-Model for the Behaviour of SLS Algorithms for SAT.
Proceedings of the Eighteenth National Conference on Artificial Intelligence and Fourteenth Conference on Innovative Applications of Artificial Intelligence, July 28, 2002

An Adaptive Noise Mechanism for WalkSAT.
Proceedings of the Eighteenth National Conference on Artificial Intelligence and Fourteenth Conference on Innovative Applications of Artificial Intelligence, July 28, 2002

2001
Ameisenalgorithmen zur Lösung kombinatorischer Optimierungsprobleme.
KI, 2001

AAAI 2000 Workshop Reports.
AI Magazine, 2001

Web Delivery of Music using the GUIDO NoteServer.
Proceedings of the First International Conference on WEB Delivering of Music (WEDELMUSIC '01), 2001

GUIDO/MIR - an Experimental Musical Information Retrieval System based on GUIDO Music Notation.
Proceedings of the ISMIR 2001, 2001

Bidding Languages for Combinatorial Auctions.
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

2000
Local Search Algorithms for SAT: An Empirical Evaluation.
J. Autom. Reasoning, 2000

MAX-MIN Ant System.
Future Generation Comp. Syst., 2000

VISCO - Visual SALIERI Components.
Proceedings of the 2000 International Computer Music Conference, 2000

Solving Combinatorial Auctions Using Stochastic Local Search.
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000

1999
Towards a Characterisation of the Behaviour of Stochastic Local Search Algorithms for SAT.
Artif. Intell., 1999

Reasoning With Conditional Ceteris Paribus Preference Statements.
Proceedings of the UAI '99: Proceedings of the Fifteenth Conference on Uncertainty in Artificial Intelligence, Stockholm, Sweden, July 30, 1999

Systematic vs. Local Search for SAT.
Proceedings of the KI-99: Advances in Artificial Intelligence, 1999

SAT-Encodings, Search Space Structure, and Local Search Performance.
Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

To Encode or Not to Encode - Linear Planning.
Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

Using Advanced GUIDO as a Notation Interchange Format.
Proceedings of the 1999 International Computer Music Conference, 1999

On the Run-time Behaviour of Stochastic Local Search Algorithms for SAT.
Proceedings of the Sixteenth National Conference on Artificial Intelligence and Eleventh Conference on Innovative Applications of Artificial Intelligence, 1999

Morphing: Combining Structure and Randomness.
Proceedings of the Sixteenth National Conference on Artificial Intelligence and Eleventh Conference on Innovative Applications of Artificial Intelligence, 1999

Stochastic local search - methods, models, applications.
DISKI 215, Infix, ISBN: 978-3-89601-215-9, 1999

1998
Evaluating Las Vegas Algorithms: Pitfalls and Remedies.
Proceedings of the UAI '98: Proceedings of the Fourteenth Conference on Uncertainty in Artificial Intelligence, 1998

A WEB-based Approach to Music Notation using GUIDO.
Proceedings of the 1998 International Computer Music Conference, 1998

An HTTP Interface to Salieri.
Proceedings of the 1998 International Computer Music Conference, 1998

SALIERI: A General, Interactive Computer Music System.
Proceedings of the 1998 International Computer Music Conference, 1998

The GUIDO Notation Format: A Novel Approach for Adequately Representing Score-Level Music.
Proceedings of the 1998 International Computer Music Conference, 1998

Some Surprising Regularities in the Behaviour of Stochastic Local Search.
Proceedings of the Principles and Practice of Constraint Programming, 1998

Stochastic local search - methods, models, applications.
PhD thesis, 1998

1996
Solving Hard Combinatorial Problems with GSAT - A Case Study.
Proceedings of the KI-96: Advances in Artificial Intelligence, 1996

1994
GSAT versus Simulated Annealing.
ECAI, 1994


  Loading...