claspfolio 2
From MaRDI portal
Claspfolio 2
Cited in
(35)- Dynamic branching in qualitative constraint-based reasoning via counting local models
- scientific article; zbMATH DE number 7453100 (Why is no real title available?)
- Boosting evolutionary algorithm configuration
- Algorithm selection for dynamic symbolic execution: a preliminary study
- ASlib: a benchmark library for algorithm selection
- On the impact of configuration on abstract argumentation automated reasoning
- Efficient Lifting of Symmetry Breaking Constraints for Complex Combinatorial Problems
- Technical note. Efficiently coupling the \(\mathscr{I}\)-DLV grounder with ASP solvers
- Lparse
- SATzilla
- GASP
- WASP
- Proteus
- MIRPLib
- OOASP
- ASlib
- SpySMAC
- LPG
- Lpopt
- CoQuiAAS
- MiniSearch
- llama
- AClib
- aspeed
- SUNNY
- OMiGA
- AutoFolio
- HPOlib
- Efficient benchmarking of algorithm configurators via model-based surrogates
- pSMAC
- The algorithm selection competitions 2015 and 2017
- Combining answer set programming and domain heuristics for solving hard industrial problems (application paper)
- scientific article; zbMATH DE number 7453149 (Why is no real title available?)
- A machine learning system to improve the performance of ASP solving based on encoding selection
- Deep learning for the generation of heuristics in answer set programming: a case study of graph coloring
This page was built for software: claspfolio 2
