An MDD-based generalized arc consistency algorithm for positive and negative table constraints and some global constraints (Q968351): Difference between revisions

@@ Property / describes a project that uses @@
+SICStus
@@ Property / describes a project that uses: SICStus / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MiniSat
@@ Property / describes a project that uses: MiniSat / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10601-009-9087-y
+Normal rank
@@ Property / OpenAlex ID @@
+W2003516442
@@ Property / OpenAlex ID: W2003516442 / rank @@
+Normal rank
@@ Property / cites work @@
+Introducing global constraints in CHIP
@@ Property / cites work: Introducing global constraints in CHIP / rank @@
+Normal rank
@@ Property / cites work @@
+Q4495108
@@ Property / cites work: Q4495108 / rank @@
+Normal rank
@@ Property / cites work @@
+An optimal coarse-grained arc consistency algorithm
+Normal rank
@@ Property / cites work @@
+Improving the variable ordering of OBDDs is NP-complete
+Normal rank
@@ Property / cites work @@
+Graph-Based Algorithms for Boolean Function Manipulation
+Normal rank
@@ Property / cites work @@
+Applying ad-hoc global constraints with the case constraint to still-life
+Normal rank
@@ Property / cites work @@
+Q3429154
@@ Property / cites work: Q3429154 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3944542
@@ Property / cites work: Q3944542 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized Arc Consistency for Positive Table Constraints
+Normal rank
@@ Property / cites work @@
+Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
+Normal rank
@@ Property / cites work @@
+Principles and Practice of Constraint Programming – CP 2004
+Normal rank
@@ Property / cites work @@
+Partition search for non-binary constraint satisfaction
+Normal rank
@@ Property / cites work @@
+Revisiting the Sequence Constraint
@@ Property / cites work: Revisiting the Sequence Constraint / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:968351