Travelled to:1 × United Kingdom
2 × Canada
3 × USA
Collaborated with:D.A.D.Tompkins A.Balint A.T.Kwon R.T.Ng C.Thornton F.Hutter K.Leyton-Brown
Talks about:sat (6) algorithm (3) sls (3) experiment (2) implement (2) variabl (2) express (2) environ (2) ubcsat (2) select (2)
Person: Holger H. Hoos
DBLP: Hoos:Holger_H=
Facilitated 1 volumes:
EdContributed to:
20132011201020042005
2003Wrote 6 papers:
- KDD-2013-ThorntonHHL #algorithm #classification #named #optimisation
- Auto-WEKA: combined selection and hyperparameter optimization of classification algorithms (CT, FH, HHH, KLB), pp. 847–855.
- SAT-2011-TompkinsBH #heuristic #satisfiability
- Captain Jack: New Variable Selection Heuristics in Local Search for SAT (DADT, AB, HHH), pp. 302–316.
- SAT-2010-TompkinsH #satisfiability
- Dynamic Scoring Functions with Variable Expressions: New SLS Methods for Solving SAT (DADT, HHH), pp. 278–292.
- SAT-2004-TompkinsH #algorithm #implementation #named #satisfiability
- UBCSAT: An Implementation and Experimentation Environment for SLS Algorithms for SAT & MAX-SAT (DADT, HHH), pp. 37–46.
- SAT-J-2004-TompkinsH05 #algorithm #implementation #named #satisfiability
- UBCSAT: An Implementation and Experimentation Environment for SLS Algorithms for SAT and MAX-SAT (DADT, HHH), pp. 306–320.
- SAC-2003-KwonHN
- Inference of Transcriptional Regulation Relationships from Gene Expression Data (ATJK, HHH, RTN), pp. 135–140.