claspfolio 2
From MaRDI portal
Software:23646
swMATH11706MaRDI QIDQ23646FDOQ23646
Author name not available (Why is that?)
Cited In (14)
- 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?)
- Boosting evolutionary algorithm configuration
- Title not available (Why is that?)
- Technical note. Efficiently coupling the \(\mathscr{I}\)-DLV grounder with ASP solvers
- On the impact of configuration on abstract argumentation automated reasoning
- 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
