View-based propagator derivation (Q2342586): Difference between revisions

@@ Property / describes a project that uses @@
+CaSPER
@@ Property / describes a project that uses: CaSPER / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SICStus
@@ Property / describes a project that uses: SICStus / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+cc(FD)
@@ Property / describes a project that uses: cc(FD) / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MiniSat
@@ Property / describes a project that uses: MiniSat / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Choco
@@ Property / describes a project that uses: Choco / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Haskell
@@ Property / describes a project that uses: Haskell / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CPLEX
@@ Property / describes a project that uses: CPLEX / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MINION
@@ Property / describes a project that uses: MINION / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+OR-tools
@@ Property / describes a project that uses: OR-tools / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2133364511
@@ Property / OpenAlex ID: W2133364511 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.2050
@@ Property / arXiv ID: 0908.2050 / rank @@
+Normal rank
@@ Property / cites work @@
+Principles of Constraint Programming
@@ Property / cites work: Principles of Constraint Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Constraint-based scheduling: Applying constraint programming to scheduling problems.
+Normal rank
@@ Property / cites work @@
+On the Desirability of Acyclic Database Schemes
@@ Property / cites work: On the Desirability of Acyclic Database Schemes / rank @@
+Normal rank
@@ Property / cites work @@
+Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Q3122694
@@ Property / cites work: Q3122694 / rank @@
+Normal rank
@@ Property / cites work @@
+Improving linear constraint propagation by changing constraint representation
+Normal rank
@@ Property / cites work @@
+Q5715712
@@ Property / cites work: Q5715712 / 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 @@
+Q4414308
@@ Property / cites work: Q4414308 / rank @@
+Normal rank
@@ Property / cites work @@
+Global Grammar Constraints
@@ Property / cites work: Global Grammar Constraints / rank @@
+Normal rank
@@ Property / cites work @@
+SICStus Prolog—The first 25 years
@@ Property / cites work: SICStus Prolog—The first 25 years / rank @@
+Normal rank
@@ Property / cites work @@
+Design, implementation, and evaluation of the constraint language cc(FD)
+Normal rank
@@ Property / cites work @@
+Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
+Normal rank