Holger H. Hoos
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
never shared a talk
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Cooperative Competition: A New Way of Solving SAT and other NP-Hard Problems in AI and Beyond | 50 Years of Satisfiability: The Centrality of SAT in the Theory of Computing | 2021-02-11 |
Argues that competitions should reward contribution to team performance by automatically building per-instance selectors over submitted solvers; implements the… | ||
| Beyond Big-O: Statistical Analysis of Performance Scaling | Learning, Algorithm Design and Beyond Worst-Case Analysis | 2016-11-14 |
Empirical analysis fits explicit scaling models, uses bootstrap confidence intervals on median runtimes, and finds per-size runtimes are roughly log-normal… | ||
| nothing matches | ||