An MDD-based generalized arc consistency algorithm for positive and negative table constraints and some global constraints (Q968351): Difference between revisions
From MaRDI portal
Changed an Item |
Changed an Item |
||
Property / describes a project that uses | |||
Property / describes a project that uses: MiniSat / rank | |||
Normal rank |
Revision as of 07:54, 28 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | An MDD-based generalized arc consistency algorithm for positive and negative table constraints and some global constraints |
scientific article |
Statements
An MDD-based generalized arc consistency algorithm for positive and negative table constraints and some global constraints (English)
0 references
5 May 2010
0 references
ad hoc constraint
0 references
global constraint
0 references
table constraint
0 references
positive constraint
0 references
negative constraint
0 references
multi-valued decision diagram
0 references
generalized arc consistency
0 references