From MDD to BDD and arc consistency (Q2331100): Difference between revisions

@@ Property / describes a project that uses @@
+GitHub
@@ Property / describes a project that uses: GitHub / 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-018-9286-5
+Normal rank
@@ Property / OpenAlex ID @@
+W2880892438
@@ Property / OpenAlex ID: W2880892438 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3859241
@@ Property / cites work: Q3859241 / rank @@
+Normal rank
@@ Property / cites work @@
+Decision diagrams for optimization
@@ Property / cites work: Decision diagrams for optimization / rank @@
+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 @@
+An MDD-based generalized arc consistency algorithm for positive and negative table constraints and some global constraints
+Normal rank
@@ Property / cites work @@
+A relational model of data for large shared data banks
+Normal rank
@@ Property / cites work @@
+Making data structures persistent
@@ Property / cites work: Making data structures persistent / rank @@
+Normal rank
@@ Property / cites work @@
+MDD propagators with explanation
@@ Property / cites work: MDD propagators with explanation / rank @@
+Normal rank
@@ Property / cites work @@
+A generic arc-consistency algorithm and its specializations
+Normal rank
@@ Property / cites work @@
+STR2: optimized simple tabular reduction for table constraints
+Normal rank
@@ Property / cites work @@
+Q3455570
@@ Property / cites work: Q3455570 / rank @@
+Normal rank
@@ Property / cites work @@
+Consistency in networks of relations
@@ Property / cites work: Consistency in networks of relations / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal and efficient filtering algorithms for table constraints
+Normal rank
@@ Property / cites work @@
+Networks of constraints: Fundamental properties and applications to picture processing
+Normal rank
@@ Property / cites work @@
+Partition search for non-binary constraint satisfaction
+Normal rank
@@ Property / cites work @@
+Random constraint satisfaction: easy generation of hard (satisfiable) instances
+Normal rank