swMATH27492MaRDI QIDQ39208FDOQ39208
Author name not available (Why is that?)
Official website: https://www.cs.uni-potsdam.de/aspeed/
Cited In (29)
- ASlib: a benchmark library for algorithm selection
- The algorithm selection competitions 2015 and 2017
- A review of literature on parallel constraint solving
- Why CP portfolio solvers are (under)utilized? Issues and challenges
- FRODO__2
- DASWAM
- SATzilla
- CDAOstore
- PhyloWS
- Proteus
- ppfolio
- claspfolio 2
- pfolioUZK
- SATenstein
- ASlib
- SpySMAC
- Automatic construction of optimal static sequential portfolios for AI planning and beyond
- llama
- April
- DOC-BRelax
- HaLoop
- sunny-cp
- SUNNY
- Selecting algorithms for large berth allocation problems
- AutoFolio
- A machine learning system to improve the performance of ASP solving based on encoding selection
- Automatic construction of parallel portfolios via algorithm configuration
- CUD@SAT
- SUNNY: a lazy portfolio approach for constraint solving
This page was built for software: aspeed
