Answer Set Solving with Lazy Nogood Generation (Q5398057)
From MaRDI portal
scientific article; zbMATH DE number 6261539
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Answer Set Solving with Lazy Nogood Generation |
scientific article; zbMATH DE number 6261539 |
Statements
25 February 2014
0 references
conflict-driven nogood learning
0 references
constraint answer set programming
0 references
constraint propagation
0 references
lazy nogood generation
0 references
Answer Set Solving with Lazy Nogood Generation (English)
0 references
