Compiling CSPs into tree-driven automata for interactive solving (Q2386699)
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: Compiling CSPs into tree-driven automata for interactive solving |
scientific article; zbMATH DE number 2198921
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Compiling CSPs into tree-driven automata for interactive solving |
scientific article; zbMATH DE number 2198921 |
Statements
Compiling CSPs into tree-driven automata for interactive solving (English)
0 references
25 August 2005
0 references
interactive constraint solving
0 references
configuration
0 references
CSP compilation
0 references
tree clustering
0 references
tree automata
0 references
0.8696690797805786
0 references
0.8007731437683105
0 references
0.7399398684501648
0 references
0.731315553188324
0 references
0.7181101441383362
0 references
