claspfolio 2
From MaRDI portal
Claspfolio 2
swMATH11706MaRDI QIDQ23646FDOQ23646
Author name not available (Why is that?)
Official website: http://www.cs.uni-potsdam.de/claspfolio/
Cited In (35)
- Algorithm selection for dynamic symbolic execution: a preliminary study
- ASlib: a benchmark library for algorithm selection
- The algorithm selection competitions 2015 and 2017
- Dynamic branching in qualitative constraint-based reasoning via counting local models
- Efficient Lifting of Symmetry Breaking Constraints for Complex Combinatorial Problems
- Combining answer set programming and domain heuristics for solving hard industrial problems (application paper)
- Title not available (Why is that?)
- Lparse
- SATzilla
- GASP
- Boosting evolutionary algorithm configuration
- WASP
- Proteus
- MIRPLib
- OOASP
- ASlib
- SpySMAC
- Title not available (Why is that?)
- LPG
- Lpopt
- CoQuiAAS
- MiniSearch
- llama
- AClib
- aspeed
- SUNNY
- OMiGA
- Technical note. Efficiently coupling the \(\mathscr{I}\)-DLV grounder with ASP solvers
- AutoFolio
- HPOlib
- On the impact of configuration on abstract argumentation automated reasoning
- pSMAC
- 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
- Efficient benchmarking of algorithm configurators via model-based surrogates
This page was built for software: claspfolio 2
