ASlib: A benchmark library for algorithm selection
- 1 August 2016
- journal article
- research article
- Published by Elsevier BV in Artificial Intelligence
- Vol. 237, 41-58
- https://doi.org/10.1016/j.artint.2016.04.003
Abstract
No abstract availableKeywords
Other Versions
Funding Information
- DFG (HU 1900/2-1)
- NSERC
- Microsoft
This publication has 40 references indexed in Scilit:
- Multi-threaded ASP solving with claspTheory and Practice of Logic Programming, 2012
- Solving Linux Upgradeability Problems Using Boolean OptimizationElectronic Proceedings in Theoretical Computer Science, 2010
- The WEKA data mining softwareACM SIGKDD Explorations Newsletter, 2009
- Learning from planner performanceArtificial Intelligence, 2009
- A self-adaptive multi-engine solver for quantified Boolean formulasConstraints, 2008
- Another look at graph coloring via propositional satisfiabilityDiscrete Applied Mathematics, 2008
- A survey of recent advances in SAT-based formal verificationInternational Journal on Software Tools for Technology Transfer, 2005
- Wrappers for feature subset selectionArtificial Intelligence, 1997
- Hierarchical Grouping to Optimize an Objective FunctionJournal of the American Statistical Association, 1963
- HIERARCHICAL GROUPING TO OPTIMIZE AN OBJECTIVE FUNCTIONJournal of the American Statistical Association, 1962