claspfolio 2
From MaRDI portal
Software:23646
No author found.
Related Items (14)
Efficient Lifting of Symmetry Breaking Constraints for Complex Combinatorial Problems ⋮ ASlib: a benchmark library for algorithm selection ⋮ Boosting evolutionary algorithm configuration ⋮ On the impact of configuration on abstract argumentation automated reasoning ⋮ Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper) ⋮ Deep learning for the generation of heuristics in answer set programming: a case study of graph coloring ⋮ A machine learning system to improve the performance of ASP solving based on encoding selection ⋮ Efficient benchmarking of algorithm configurators via model-based surrogates ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Efficiently Coupling the I-DLV Grounder with ASP Solvers ⋮ Dynamic branching in qualitative constraint-based reasoning via counting local models ⋮ The algorithm selection competitions 2015 and 2017 ⋮ Algorithm selection for dynamic symbolic execution: a preliminary study
This page was built for software: claspfolio 2
