Holger H. Hoos

Available identifiers

zbMath Open hoos.holger-hWikidataQ5880225 ScholiaQ5880225MaRDI QIDQ98777

List of research outcomes

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
https://portal.mardi4nfdi.de/entity/Q5472387	2006-06-12	Paper
Theory and Applications of Satisfiability Testing	2005-12-16	Paper
https://portal.mardi4nfdi.de/entity/Q4414682	2003-07-25	Paper
https://portal.mardi4nfdi.de/entity/Q4414683	2003-07-25	Paper
Towards a characterisation of the behaviour of stochastic local search algorithms for SAT	2002-07-24	Paper
https://portal.mardi4nfdi.de/entity/Q2776576	2002-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q2749862	2001-12-03	Paper
https://portal.mardi4nfdi.de/entity/Q2749854	2001-10-21	Paper
https://portal.mardi4nfdi.de/entity/Q2726305	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

Research outcomes over time

Doctoral students

Doctoral Student
Frank Hutter
Dave A. D. Tompkins
Sam Samuel John Liam Bayless
Rami Daknama

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
country of citizenship	Canada
doctoral advisor	Wolfgang Bibel
doctoral student	Frank Hutter
doctoral student	Dave A. D. Tompkins
doctoral student	Sam Samuel John Liam Bayless
doctoral student	Rami Daknama
educated at	Technische Universität Darmstadt
employer	University of British Columbia
family name	Hoos
given name	Holger
instance of	human
languages spoken, written or signed	English
occupation	computer scientist
occupation	engineer
occupation	artificial intelligence researcher
sex or gender	male

This page was built for person: Holger H. Hoos