Advancing Lazy-Grounding ASP Solving Techniques – Restarts, Phase Saving, Heuristics, and More (Q5140003)
From MaRDI portal
scientific article; zbMATH DE number 7284959
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Advancing Lazy-Grounding ASP Solving Techniques – Restarts, Phase Saving, Heuristics, and More |
scientific article; zbMATH DE number 7284959 |
Statements
Advancing Lazy-Grounding ASP Solving Techniques – Restarts, Phase Saving, Heuristics, and More (English)
0 references
13 December 2020
0 references
answer-set programming
0 references
lazy-grounding
0 references
solving techniques
0 references
knowledge representation
0 references
