claspfolio 2
From MaRDI portal
Software:23646
swMATH11706MaRDI QIDQ23646FDOQ23646
Author name not available (Why is that?)
Cited In (14)
- Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper)
- Algorithm selection for dynamic symbolic execution: a preliminary study
- Efficiently Coupling the I-DLV Grounder with ASP Solvers
- 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
- Title not available (Why is that?)
- Boosting evolutionary algorithm configuration
- Title not available (Why is that?)
- 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
