Learning and using domain-specific heuristics in ASP solvers
From MaRDI portal
Recommendations
- Learning domain-specific heuristics for answer set solvers
- Combining answer set programming and domain heuristics for solving hard industrial problems (application paper)
- Applying machine learning techniques to ASP solving
- Experimenting with Look-Back Heuristics for Hard ASP Programs
- Conflict generalisation in ASP: learning correct and effective non-ground constraints
Cited in
(11)- Deep learning for the generation of heuristics in answer set programming: a case study of graph coloring
- Learning domain-specific heuristics for answer set solvers
- Combining Heuristics for Configuration Problems Using Answer Set Programming
- Multi-level Algorithm Selection for ASP
- Multi-engine ASP solving with policy adaptation
- Combining answer set programming and domain heuristics for solving hard industrial problems (application paper)
- scientific article; zbMATH DE number 1882057 (Why is no real title available?)
- The External Interface for Extending WASP
- scientific article; zbMATH DE number 7453100 (Why is no real title available?)
- Advancing Lazy-Grounding ASP Solving Techniques – Restarts, Phase Saving, Heuristics, and More
- Domain-Specific Heuristics in Answer Set Programming: A Declarative Non-Monotonic Approach
This page was built for publication: Learning and using domain-specific heuristics in ASP solvers
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3011298)
