Reasoning from last conflict(s) in constraint programming (Q1045989)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Reasoning from last conflict(s) in constraint programming |
scientific article; zbMATH DE number 5650760
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Reasoning from last conflict(s) in constraint programming |
scientific article; zbMATH DE number 5650760 |
Statements
Reasoning from last conflict(s) in constraint programming (English)
0 references
21 December 2009
0 references
constraint satisfaction
0 references
conflicts
0 references
nogoods
0 references
intelligent backtracking
0 references
planning
0 references
0 references
0.8575794
0 references
0.85226065
0 references
0.84500337
0 references
0 references
0 references
0.8390288
0 references
