| Publication | Date of Publication | Type |
|---|
| Revisiting satzilla features in 2024 | 2026-02-03 | Paper |
Improving the computational efficiency of stochastic programs using automated algorithm configuration: an application to decentralized energy systems
Annals of Operations Research | 2025-12-19 | Paper |
Time series representations classroom (TSRC): a teacher-student-based framework for interpretability-enhanced unsupervised time series representation learning
Machine Learning | 2025-12-04 | Paper |
Robustness distributions in neural network verification
The Journal of Artificial Intelligence Research (JAIR) | 2025-10-22 | Paper |
Speeding up neural network robustness verification via algorithm configuration and an optimised mixed integer linear programming solver portfolio
Machine Learning | 2023-06-12 | Paper |
VPint: value propagation-based spatial interpolation
Data Mining and Knowledge Discovery | 2022-11-14 | Paper |
| Efficient local search for pseudo Boolean optimization | 2022-03-22 | Paper |
Exact stochastic constraint optimisation with applications in network analysis
Artificial Intelligence | 2022-03-02 | Paper |
MultiETSC: automated machine learning for early time series classification
Data Mining and Knowledge Discovery | 2022-01-14 | Paper |
A survey on semi-supervised learning
Machine Learning | 2020-03-04 | Paper |
Efficient benchmarking of algorithm configurators via model-based surrogates
Machine Learning | 2018-04-03 | Paper |
aspeed: solver scheduling via answer set programming
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
Automatic construction of parallel portfolios via algorithm configuration
Artificial Intelligence | 2017-02-22 | Paper |
The configurable SAT solver challenge (CSSC)
Artificial Intelligence | 2017-01-05 | Paper |
ASlib: A benchmark library for algorithm selection
Artificial Intelligence | 2016-08-01 | Paper |
On the empirical scaling of run-time for finding optimal solutions to the travelling salesman problem
European Journal of Operational Research | 2016-06-23 | Paper |
ASlib: a benchmark library for algorithm selection
Artificial Intelligence | 2016-05-20 | Paper |
SATenstein: automatically building local search SAT solvers from components
Artificial Intelligence | 2016-02-09 | Paper |
On the empirical time complexity of finding optimal solutions vs proving optimality for Euclidean TSP instances
Optimization Letters | 2015-09-24 | Paper |
Algorithm runtime prediction: methods \& evaluation
Artificial Intelligence | 2015-08-27 | Paper |
<tt>claspfolio</tt>2: Advances in Algorithm Selection for Answer Set Programming
Theory and Practice of Logic Programming | 2014-11-25 | Paper |
| scientific article; zbMATH DE number 6261538 (Why is no real title available?) | 2014-02-25 | Paper |
A note on improving the performance of approximation algorithms for radiation therapy
Information Processing Letters | 2013-03-28 | Paper |
Captain Jack: new variable selection heuristics in local search for SAT
Theory and Applications of Satisfiability Testing - SAT 2011 | 2011-06-17 | Paper |
Sequential model-based parameter optimization: an experimental investigation of automated and interactive approaches
Experimental Methods for the Analysis of Optimization Algorithms | 2010-12-22 | Paper |
Dynamic scoring functions with variable expressions: new SLS methods for solving SAT
Theory and Applications of Satisfiability Testing – SAT 2010 | 2010-09-29 | Paper |
Using stochastic local search to solve quantified Boolean formulae
Lecture Notes in Computer Science | 2010-03-02 | Paper |
Paramils: an automatic algorithm configuration framework
Journal of Artificial Intelligence Research | 2009-12-10 | Paper |
SATzilla: portfolio-based algorithm selection for SAT
(available as arXiv preprint) | 2009-04-28 | Paper |
Performance Prediction and Automated Tuning of Randomized and Parametric Algorithms
Principles and Practice of Constraint Programming - CP 2006 | 2008-09-09 | Paper |
Principles and Practice of Constraint Programming – CP 2004
Lecture Notes in Computer Science | 2008-09-09 | Paper |
Hierarchical Hardness Models for SAT
Principles and Practice of Constraint Programming – CP 2007 | 2008-09-02 | Paper |
| Stochastic local search. Foundations and applications. | 2006-06-12 | Paper |
Theory and Applications of Satisfiability Testing
Lecture Notes in Computer Science | 2005-12-16 | Paper |
| scientific article; zbMATH DE number 1953221 (Why is no real title available?) | 2003-07-25 | Paper |
| scientific article; zbMATH DE number 1953220 (Why is no real title available?) | 2003-07-25 | Paper |
Towards a characterisation of the behaviour of stochastic local search algorithms for SAT
Artificial Intelligence | 2002-07-24 | Paper |
| Analysing the run-time behaviour of iterated local search for the travelling salesman problem. | 2002-01-01 | Paper |
| SATLIB: An online resource for research on SAT | 2001-12-03 | Paper |
| Local search algorithms for SAT: an empirical evaluation | 2001-10-21 | Paper |
Stochastic local search - methods, models, applications (Diss., TU Darmstadt, 1998)
DISKI. Dissertationen zur Künstlichen Intelligenz | 2001-07-17 | Paper |
Local search algorithms for SAT: an empirical evaluation
Journal of Automated Reasoning | 2000-10-10 | Paper |
| scientific article; zbMATH DE number 1488089 (Why is no real title available?) | 2000-08-10 | Paper |
