Implementing logical connectives in constraint programming (Q622127): Difference between revisions

@@ Property / describes a project that uses @@
+Chaff
@@ Property / describes a project that uses: Chaff / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MINION
@@ Property / describes a project that uses: MINION / 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.1016/j.artint.2010.07.001
+Normal rank
@@ Property / OpenAlex ID @@
+W2055043227
@@ Property / OpenAlex ID: W2055043227 / rank @@
+Normal rank
@@ Property / cites work @@
+Watched Literals for Constraint Propagation in Minion
+Normal rank
@@ Property / cites work @@
+Principles of Constraint Programming
@@ Property / cites work: Principles of Constraint Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q3184605
@@ Property / cites work: Q3184605 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards “Propagation = Logic + Control”
@@ Property / cites work: Towards “Propagation = Logic + Control” / rank @@
+Normal rank
@@ Property / cites work @@
+Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
+Normal rank
@@ Property / cites work @@
+Design, implementation, and evaluation of the constraint language cc(FD)
+Normal rank
@@ Property / cites work @@
+The complexity of reasoning with global constraints
+Normal rank
@@ Property / cites work @@
+Phylogenetic supertrees. Combining information to reveal the tree of life
+Normal rank
@@ Property / cites work @@
+Q3624154
@@ Property / cites work: Q3624154 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5435012
@@ Property / cites work: Q5435012 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalised arc consistency for the AllDifferent constraint: an empirical survey
+Normal rank
@@ Property / cites work @@
+Modelling and solving English peg solitaire
@@ Property / cites work: Modelling and solving English peg solitaire / rank @@
+Normal rank