No label defined (Q5398057)
From MaRDI portal
scientific article; zbMATH DE number 6261539
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
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
