Holger H. Hoos

Orcid: 0000-0003-0629-0099

Affiliations:
  • RWTH Aachen University, Computer Science Department, Aachen, Germany
  • Leiden University, LIACS, The Netherlands
  • University of British Columbia, Vancouver, BC, Canada


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

Collaborative distances:

Awards

ACM Fellow

ACM Fellow 2020, "For contributions to automated algorithm selection and configuration for optimization and machine learning ".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Automated machine learning: past, present and future.
Artif. Intell. Rev., May, 2024

Software engineering practices for machine learning - Adoption, effects, and team assessment.
J. Syst. Softw., March, 2024

AutoSR4EO: An AutoML Approach to Super-Resolution for Earth Observation Images.
Remote. Sens., February, 2024

Critically Assessing the State of the Art in Neural Network Verification.
J. Mach. Learn. Res., 2024

ARLBench: Flexible and Efficient Benchmarking for Hyperparameter Optimization in Reinforcement Learning.
CoRR, 2024

Edge-Based Graph Component Pooling.
CoRR, 2024

Revisiting SATZilla Features in 2024.
Proceedings of the 27th International Conference on Theory and Applications of Satisfiability Testing, 2024

A Preliminary Study to Examining Per-class Performance Bias via Robustness Distributions.
Proceedings of the AI Verification - First International Symposium, 2024

Towards General Negotiation Strategies with End-to-End Reinforcement Learning.
RLJ, 2024

Combining Automated Optimisation of Hyperparameters and Reward Shape.
RLJ, 2024

Automated Design of Linear Bounding Functions for Sigmoidal Nonlinearities in Neural Networks.
Proceedings of the Machine Learning and Knowledge Discovery in Databases. Research Track, 2024

Multi-objective Ranking using Bootstrap Resampling.
Proceedings of the Genetic and Evolutionary Computation Conference Companion, 2024

Accelerating Adversarially Robust Model Selection for Deep Neural Networks via Racing.
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023
Adaptive error bounded piecewise linear approximation for time-series representation.
Eng. Appl. Artif. Intell., November, 2023

From fear to action: AI governance and opportunities for all.
Frontiers Comput. Sci., 2023

Improving the performance of stochastic local search for maximum vertex weight clique problem using programming by optimization.
Expert Syst. Appl., 2023

Space and Artificial Intelligence (Dagstuhl Seminar 23461).
Dagstuhl Reports, 2023

Competitions in AI - Robustly Ranking Solvers Using Statistical Resampling.
CoRR, 2023

Artificial intelligence to advance Earth observation: a perspective.
CoRR, 2023

Q(D)O-ES: Population-based Quality (Diversity) Optimisation for Post Hoc Ensemble Selection in AutoML.
Proceedings of the International Conference on Automated Machine Learning, 2023

Critically Assessing the State of the Art in CPU-based Local Robustness Verification.
Proceedings of the Workshop on Artificial Intelligence Safety 2023 (SafeAI 2023) co-located with the Thirty-Seventh AAAI Conference on Artificial Intelligence (AAAI 2023), 2023

2022
AutoML Loss Landscapes.
ACM Trans. Evol. Learn. Optim., 2022

Sparkle: Toward Accessible Meta-Algorithmics for Improving the State of the Art in Solving Challenging Problems.
IEEE Trans. Evol. Comput., 2022

Speeding up neural network robustness verification via algorithm configuration and an optimised mixed integer linear programming solver portfolio.
Mach. Learn., 2022

Preface to the Special Cluster on Stochastic Local Search: Recent Developments and Trends.
Int. Trans. Oper. Res., 2022

VPint: value propagation-based spatial interpolation.
Data Min. Knowl. Discov., 2022

Automated Configuration and Usage of Strategy Portfolios for Bargaining.
CoRR, 2022

Automating data science.
Commun. ACM, 2022

Exact stochastic constraint optimisation with applications in network analysis.
Artif. Intell., 2022

Automated Machine Learning for COVID-19 Forecasting.
IEEE Access, 2022

Challenges of Acquiring Compositional Inductive Biases via Meta-Learning.
Proceedings of the ECML/PKDD Workshop on Meta-Knowledge Transfer, 2022

Opening the Black Box: Automated Software Analysis for Algorithm Selection.
Proceedings of the International Conference on Automated Machine Learning, 2022

Automated Configuration and Usage of Strategy Portfolios Mixed-Motive Bargaining.
Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, 2022

The 13th International Automated Negotiating Agent Competition Challenges and Results.
Proceedings of the Recent Advances in Agent-Based Negotiation: Applications and Competition Challenges, 2022

2021
Next Big Challenges in Core AI Technology.
Proceedings of the Reflections on Artificial Intelligence for Humanity, 2021

Automated Configuration and Selection of SAT Solvers.
Proceedings of the Handbook of Satisfiability - Second Edition, 2021

The CLAIRE COVID-19 initiative: approach, experiences and recommendations.
Ethics Inf. Technol., 2021

MultiETSC: automated machine learning for early time series classification.
Data Min. Knowl. Discov., 2021

Frugal Machine Learning.
CoRR, 2021

Automating Data Science: Prospects and Challenges.
CoRR, 2021

Efficient Local Search for Pseudo Boolean Optimization.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2021, 2021

Hyper-parameter Optimization for Latent Spaces.
Proceedings of the Machine Learning and Knowledge Discovery in Databases. Research Track, 2021

Practices for Engineering Trustworthy Machine Learning Applications.
Proceedings of the 1st IEEE/ACM Workshop on AI Engineering - Software Engineering for AI, 2021

Statistical Comparison of Algorithm Performance Through Instance Selection.
Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, 2021

2020
A survey on semi-supervised learning.
Mach. Learn., 2020

Successive Statistical and Structure-Based Modeling to Identify Chemically Novel Kinase Inhibitors.
J. Chem. Inf. Model., 2020

Special issue on "Stochastic Local Search: Recent developments and trends".
Int. Trans. Oper. Res., 2020

Improving the Performance of Stochastic Local Search for Maximum Vertex Weight Clique Problem Using Programming by Optimization.
CoRR, 2020

A Research Agenda for Hybrid Intelligence: Augmenting Human Intellect With Collaborative, Adaptive, Responsible, and Explainable Artificial Intelligence.
Computer, 2020

Empirical scaling analyzer: An automated system for empirical analysis of performance scaling.
AI Commun., 2020

Scalable constraint-based virtual data center allocation.
Artif. Intell., 2020

Semi-supervised Co-ensembling for AutoML.
Proceedings of the Trustworthy AI - Integrating Learning, Optimization and Reasoning, 2020

Automatic Configuration of a Multi-objective Local Search for Imbalanced Classification.
Proceedings of the Parallel Problem Solving from Nature - PPSN XVI, 2020

PbO-CCSAT: Boosting Local Search for Satisfiability Using Programming by Optimisation.
Proceedings of the Parallel Problem Solving from Nature - PPSN XVI, 2020

Model-Based Algorithm Configuration with Default-Guided Probabilistic Sampling.
Proceedings of the Parallel Problem Solving from Nature - PPSN XVI, 2020

Golden parameter search: exploiting structure to quickly configure parameters in parallel.
Proceedings of the GECCO '20: Genetic and Evolutionary Computation Conference, 2020

Advanced statistical analysis of empirical performance scaling.
Proceedings of the GECCO '20: Genetic and Evolutionary Computation Conference, 2020

Combining sequential model-based algorithm configuration with default-guided probabilistic sampling.
Proceedings of the GECCO '20: Genetic and Evolutionary Computation Conference, 2020

Adoption and Effects of Software Engineering Best Practices in Machine Learning.
Proceedings of the ESEM '20: ACM / IEEE International Symposium on Empirical Software Engineering and Measurement, 2020

Automated Configuration of Negotiation Strategies.
Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020

2019
Automated Algorithm Selection: Survey and Perspectives.
Evol. Comput., 2019

Foreword.
Evol. Comput., 2019

Automatic Configuration of Multi-Objective Local Search Algorithms for Permutation Problems.
Evol. Comput., 2019

Automated Machine Learning for Short-term Electric Load Forecasting.
Proceedings of the IEEE Symposium Series on Computational Intelligence, 2019

Local Search with Efficient Automatic Configuration for Minimum Vertex Cover.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Configuration of a Dynamic MOLS Algorithm for Bi-objective Flowshop Scheduling.
Proceedings of the Evolutionary Multi-Criterion Optimization, 2019

Auto-WEKA: Automatic Model Selection and Hyperparameter Optimization in WEKA.
Proceedings of the Automated Machine Learning - Methods, Systems, Challenges, 2019

2018
Efficient benchmarking of algorithm configurators via model-based surrogates.
Mach. Learn., 2018

On the empirical scaling of running time for finding optimal solutions to the TSP.
J. Heuristics, 2018

Leveraging TSP Solver Complementarity through Machine Learning.
Evol. Comput., 2018

Automating Data Science (Dagstuhl Seminar 18401).
Dagstuhl Reports, 2018

Performance robustness of AI planners in the 2014 International Planning Competition.
AI Commun., 2018

Algorithm Configuration Landscapes: - More Benign Than Expected?
Proceedings of the Parallel Problem Solving from Nature - PPSN XV, 2018

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

Automatic Configuration of Bi-Objective Optimisation Algorithms: Impact of Correlation Between Objectives.
Proceedings of the IEEE 30th International Conference on Tools with Artificial Intelligence, 2018

LSQ++: Lower Running Time and Higher Recall in Multi-codebook Quantization.
Proceedings of the Computer Vision - ECCV 2018, 2018

Portfolio-Based Algorithm Selection for Circuit QBFs.
Proceedings of the Principles and Practice of Constraint Programming, 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

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

Empirical Analysis of Randomised Algorithms.
Proceedings of the Handbook of Approximation Algorithms and Metaheuristics, 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.
J. Mach. Learn. Res., 2017

Static and Dynamic Portfolio Methods for Optimal Planning: An Empirical Analysis.
Int. J. Artif. Intell. 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

OASC-2017: *Zilla Submission.
Proceedings of the Open Algorithm Selection Challenge 2017, 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.
Theory Pract. Log. Program., 2015

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

AutoFolio: An Automatically Configured Algorithm Selector.
J. Artif. Intell. Res., 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.
Theory Pract. Log. Program., 2014

On the empirical scaling of run-time for finding optimal solutions to the travelling salesman problem.
Eur. J. Oper. Res., 2014

Stacked Quantizers for Compositional Vector Compression.
CoRR, 2014

Solver Scheduling via Answer Set Programming.
CoRR, 2014

Understanding the empirical hardness of <i>NP</i>-complete problems.
Commun. ACM, 2014

Enhanced flowType/RchyOptimyx: a Bioconductor pipeline for discovery in high-dimensional cytometry data.
Bioinform., 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
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 Bioinform., 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 Bioinform., 2012

Early immunologic correlates of HIV protection can be identified from computational analysis of complex multivariate T-cell flow cytometry assays.
Bioinform., 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

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

Sequential Model-Based Parameter Optimization: an Experimental Investigation of Automated and Interactive Approaches.
Proceedings of the Experimental Methods for the Analysis of Optimization Algorithms., 2010

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

Fixed-Parameter Tractability and Improved Approximations for Segment Minimization
CoRR, 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 Bioinform., 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 Mach., 2007

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

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

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

Preface.
Ann. Oper. Res., 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.
Künstliche Intell., 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 Bioinform., 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.
Comput. Music. J., 2004

Preference-Based Constrained Optimization with CP-Nets.
Comput. Intell., 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 Res., 2003

Inference of Transcriptional Regulation Relationships from Gene Expression Data.
Bioinform., 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.
Künstliche Intell., 2001

AAAI 2000 Workshop Reports.
AI Mag., 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. Reason., 2000

MAX-MIN Ant System.
Future Gener. Comput. 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

1997
Improvements on the Ant-System: Introducing the MAX-MIN Ant System.
Proceedings of the International Conference on Artificial Neural Nets and Genetic Algorithms, 1997

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.
Proceedings of the Eleventh European Conference on Artificial Intelligence, 1994


  Loading...