885 citations · 3.3k across the 27 of their papers we have counts for
5 papers · 1 filter
Stacked Quantizers for Compositional Vector Compression
Julieta Martinez, Holger H. Hoos, James J. Little
Recently, Babenko and Lempitsky introduced Additive Quantization (AQ), a generalization of Product Quantization (PQ) where a non-independent set of codebooks is used to compress ve…
SAT Modulo Monotonic Theories
Sam Bayless, Noah Bayless, Holger H. Hoos +1
We define the concept of a monotonic theory and show how to build efficient SMT (SAT Modulo Theory) solvers, including effective theory propagation and clause learning, for such th…
claspfolio 2: Advances in Algorithm Selection for Answer Set Programming
Holger Hoos, Marius Lindauer, Torsten Schaub
To appear in Theory and Practice of Logic Programming (TPLP). Building on the award-winning, portfolio-based ASP solver claspfolio, we present claspfolio 2, a modular and open solv…
ParamILS: An Automatic Algorithm Configuration Framework
Frank Hutter, Thomas Stuetzle, Kevin Leyton-Brown +1
The identification of performance-optimizing parameter settings is an important part of the development and application of algorithms. We describe an automatic framework for this a…
Solver Scheduling via Answer Set Programming
Holger Hoos, Roland Kaminski, Marius Lindauer +1
Although Boolean Constraint Technology has made tremendous progress over the last decade, the efficacy of state-of-the-art solvers is known to vary considerably across different ty…