aspeed

swMATH27492MaRDI QIDQ39208FDOQ39208

Author name not available (Why is that?)

Described by source

• aspeed: Solver scheduling via answer set programming
• Unnamed Publication

Cited In (9)

• ASlib: a benchmark library for algorithm selection
• SUNNY: a Lazy Portfolio Approach for Constraint Solving
• Why CP Portfolio Solvers Are (under)Utilized? Issues and Challenges
• The algorithm selection competitions 2015 and 2017
• A review of literature on parallel constraint solving
• Automatic construction of optimal static sequential portfolios for AI planning and beyond
• Selecting algorithms for large berth allocation problems
• A machine learning system to improve the performance of ASP solving based on encoding selection
• Automatic construction of parallel portfolios via algorithm configuration

This page was built for software: aspeed