HAL: A Framework for the Automated Analysis and Design of High-Performance Algorithms

No abstract is available for this paper.

• Publication year

  2011

• Venue

  Learning and Intelligent Optimization

• Publication date

  2011-01-17

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1007/978-3-642-25566-3_47
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• ParamILS: An Automatic Algorithm Configuration Framework

  2014cited by this paper
• Sequential Model-Based Optimization for General Algorithm Configuration

  2011cited by this paper
• ISAC - Instance-Specific Algorithm Configuration

  2010cited by this paper
• Automated Configuration of Mixed Integer Programming Solvers

  2010cited by this paper
• Experiment design and administration for computer clusters for SAT-solvers (EDACC)

  2010cited by this paper
• Hydra: Automatically Configuring Algorithms for Portfolio-Based Selection

  2010cited by this paper
• A Gender-Based Genetic Algorithm for the Automatic Configuration of Algorithms

  2009influential reference
• Synthesizing Filtering Algorithms for Global Chance-Constraints

  2009cited by this paper
• Exploiting structure for scalable software verification

  2008influential reference
• Computer-Aided Design of High-Performance Algorithms

  2008cited by this paper
• SATzilla: Portfolio-based Algorithm Selection for SAT

  2008influential reference
• A Modular Multiphase Heuristic Solver for Post Enrolment Course Timetabling

  2008cited by this paper
• Boosting Verification by Automatic Tuning of Decision Procedures

  2007cited by this paper
• Automatic Algorithm Configuration Based on Local Search

  2007cited by this paper
• Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 4th International Conference, CPAIOR 2007, Brussels, Belgium, May 23-26, 2007, Proceedings

  2007cited by this paper
• A server for automated performance analysis of benchmarking data

  2006cited by this paper
• Understanding Random SAT: Beyond the Clauses-to-Variables Ratio

  2004influential reference
• Principles and Practice of Constraint Programming – CP 2004

  2004cited by this paper
• Stochastic Local Search: Foundations & Applications

  2004cited by this paper
• Design patterns: elements of reuseable object-oriented software

  1994cited by this paper

• practices for comparing optimization algorithms

  2022cites this paper
• Tuning Algorithms for Stochastic Black-Box Optimization: State of the Art and Future Perspectives

  2021cites this paper
• CAVE: Configuration Assessment, Visualization and Evaluation

  2018cites this paper
• Best practices for comparing optimization algorithms

  2017cites this paper
• Stochastic Local Search Algorithms: An Overview

  2015cites this paper
• Portfolio-based planning: State of the art, common practice and open challenges

  2015cites this paper
• Analysing differences between algorithm configurations through ablation

  2015cites this paper
• The Recomputation Manifesto

  2013cites this paper
• Automatic Generation of Efficient Domain-Optimized Planners from Generic Parametrized Planners

  2013cites this paper
• Programming by optimization

  2012cites this paper
• Parallel Algorithm Configuration

  2012cites this paper
• Challenges of Portfolio-based Planning

  2012cites this paper
• A Guide to Portfolio-Based Planning

  2012cites this paper
• Automated Algorithm Configuration and Parameter Tuning

  2012cites this paper
• Generating Domain-Specific Planners through Automatic Parameter Configuration in LPG

  2011cites this paper
• FD-Autotune: Automated Configuration of Fast Downward

  2011cites this paper
• Automating meta-algorithmic analysis and design

  2011cites this paper
• FD-Autotune: Domain-Specific Configuration using Fast Downward

  2011cites this paper
• Chapter 3 Automated Algorithm Configuration and Parameter Tuning

  2011cites this paper
• Sequential Model-Based Optimization for General Algorithm Configuration

  2011cites this paper
• Generating Fast Domain-Specific Planners by Automatically Configuring a Generic Parameterised Planner

  2011cites this paper
• Generating Fast Domain-Optimized Planners by Automatically Configuring a Generic Parameterised Planner

  2011cites this paper