Interval propagation to reason about sets: Definition and implementation of a practical language (Q679421): Difference between revisions

@@ Property / describes a project that uses @@
+Miranda
@@ Property / describes a project that uses: Miranda / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CHIP
@@ Property / describes a project that uses: CHIP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SETL
@@ Property / describes a project that uses: SETL / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Set constructors in a logic database language
@@ Property / cites work: Set constructors in a logic database language / 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 @@
+Q5532570
@@ Property / cites work: Q5532570 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3666234
@@ Property / cites work: Q3666234 / rank @@
+Normal rank
@@ Property / cites work @@
+Solving a cutting-stock problem with the constraint logic programming language CHIP
+Normal rank
@@ Property / cites work @@
+Solving large combinatorial problems in logic programming
+Normal rank
@@ Property / cites work @@
+{log}: A language for programming in logic with finite sets
+Normal rank
@@ Property / cites work @@
+REF-ARF: A system for solving problems stated as procedures
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3898534
@@ Property / cites work: Q3898534 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3751390
@@ Property / cites work: Q3751390 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3489527
@@ Property / cites work: Q3489527 / rank @@
+Normal rank
@@ Property / cites work @@
+A generic arc-consistency algorithm and its specializations
+Normal rank
@@ Property / cites work @@
+Extended unification algorithms for the integration of functional programming into logic programming
+Normal rank
@@ Property / cites work @@
+Solving Airline Crew Scheduling Problems by Branch-and-Cut
+Normal rank
@@ Property / cites work @@
+Q3785940
@@ Property / cites work: Q3785940 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4051550
@@ Property / cites work: Q4051550 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic programming with sets
@@ Property / cites work: Logic programming with sets / rank @@
+Normal rank
@@ Property / cites work @@
+A language and a program for stating and solving combinatorial problems
+Normal rank
@@ Property / cites work @@
+Interval computation as deduction in chip
@@ Property / cites work: Interval computation as deduction in chip / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992908
@@ Property / cites work: Q3992908 / 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 @@
+Covering, Packing and Knapsack Problems
@@ Property / cites work: Covering, Packing and Knapsack Problems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4739657
@@ Property / cites work: Q4739657 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4003537
@@ Property / cites work: Q4003537 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3818127
@@ Property / cites work: Q3818127 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3741005
@@ Property / cites work: Q3741005 / rank @@
+Normal rank
@@ Property / cites work @@
+Compilation of set terms in the logic data language (LDL)
+Normal rank
@@ Property / cites work @@
+Q4385449
@@ Property / cites work: Q4385449 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:679421