| Publication | Date of Publication | Type |
|---|
| Speeding up neural network robustness verification via algorithm configuration and an optimised mixed integer linear programming solver portfolio | 2023-06-12 | Paper |
| VPint: value propagation-based spatial interpolation | 2022-11-14 | Paper |
| Efficient local search for pseudo Boolean optimization | 2022-03-22 | Paper |
| Exact stochastic constraint optimisation with applications in network analysis | 2022-03-02 | Paper |
| MultiETSC: automated machine learning for early time series classification | 2022-01-14 | Paper |
| A survey on semi-supervised learning | 2020-03-04 | Paper |
| Efficient benchmarking of algorithm configurators via model-based surrogates | 2018-04-03 | Paper |
| aspeed: Solver scheduling via answer set programming | 2017-11-09 | Paper |
| Automatic construction of parallel portfolios via algorithm configuration | 2017-02-22 | Paper |
| The configurable SAT solver challenge (CSSC) | 2017-01-05 | Paper |
| ASlib: A benchmark library for algorithm selection | 2016-08-01 | Paper |
| On the empirical scaling of run-time for finding optimal solutions to the travelling salesman problem | 2016-06-23 | Paper |
| ASlib: a benchmark library for algorithm selection | 2016-05-20 | Paper |
| SATenstein: automatically building local search SAT solvers from components | 2016-02-09 | Paper |
| On the empirical time complexity of finding optimal solutions vs proving optimality for Euclidean TSP instances | 2015-09-24 | Paper |
| Algorithm runtime prediction: methods \& evaluation | 2015-08-27 | Paper |
| claspfolio2: Advances in Algorithm Selection for Answer Set Programming | 2014-11-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5398056 | 2014-02-25 | Paper |
| A note on improving the performance of approximation algorithms for radiation therapy | 2013-03-28 | Paper |
| Captain Jack: New Variable Selection Heuristics in Local Search for SAT | 2011-06-17 | Paper |
| Sequential Model-Based Parameter Optimization: an Experimental Investigation of Automated and Interactive Approaches | 2010-12-22 | Paper |
| Dynamic Scoring Functions with Variable Expressions: New SLS Methods for Solving SAT | 2010-09-29 | Paper |
| Principles and Practice of Constraint Programming – CP 2003 | 2010-03-02 | Paper |
| ParamILS: An Automatic Algorithm Configuration Framework | 2009-12-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3624141 | 2009-04-28 | Paper |
| Performance Prediction and Automated Tuning of Randomized and Parametric Algorithms | 2008-09-09 | Paper |
| Principles and Practice of Constraint Programming – CP 2004 | 2008-09-09 | Paper |
| Hierarchical Hardness Models for SAT | 2008-09-02 | Paper |
| Stochastic local search. Foundations and applications. | 2006-06-12 | Paper |
| Theory and Applications of Satisfiability Testing | 2005-12-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4414683 | 2003-07-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4414682 | 2003-07-25 | Paper |
| Towards a characterisation of the behaviour of stochastic local search algorithms for SAT | 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) | 2001-07-17 | Paper |
| Local search algorithms for SAT: an empirical evaluation | 2000-10-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4495193 | 2000-08-10 | Paper |
