Travelled to:
1 × China
1 × Hungary
1 × Italy
1 × USA
Collaborated with:
T.Schaub F.Hutter K.Leyton-Brown ∅ M.T.Lindauer R.Kaminski M.T.Schneider L.Xu
Talks about:
algorithm (3) solver (2) base (2) hyperparamet (1) claspfolio (1) portfolio (1) irregular (1) contribut (1) selector (1) approach (1)
Person: Holger Hoos
DBLP: Hoos:Holger
Contributed to:
Wrote 5 papers:
- ICLP-J-2014-HoosLS #algorithm #programming #set
- claspfolio 2: Advances in Algorithm Selection for Answer Set Programming (HH, MTL, TS), pp. 569–585.
- ICML-c1-2014-HutterHL #approach #performance
- An Efficient Approach for Assessing Hyperparameter Importance (FH, HH, KLB), pp. 754–762.
- ICLP-2012-HoosKSS #named #scheduling
- aspeed: ASP-based Solver Scheduling (HH, RK, TS, MTS), pp. 176–187.
- SAT-2012-XuHHL #algorithm #component
- Evaluating Component Solver Contributions to Portfolio-Based Algorithm Selectors (LX, FH, HH, KLB), pp. 228–241.
- SAT-2002-Hoos #algorithm #modelling #satisfiability
- SLS algorithms for SAT: irregular instances, search stagnation, and mixture models (HH), p. 41.