On the cooperation of the constraint domains ℋ, ℛ, and ℱ in CFLP (Q3183129): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+On the combination of interval constraint solvers
@@ Property / cites work: On the combination of interval constraint solvers / rank @@
+Normal rank
@@ Property / cites work @@
+An approach to declarative programming based on a rewriting logic
+Normal rank
@@ Property / cites work @@
+Interval propagation to reason about sets: Definition and implementation of a practical language
+Normal rank
@@ Property / cites work @@
+Narrowing based procedures for equational disunification
+Normal rank
@@ Property / cites work @@
+Concurrent cooperating solvers over reals
@@ Property / cites work: Concurrent cooperating solvers over reals / rank @@
+Normal rank
@@ Property / cites work @@
+A new approach to integrating mixed integer programming and constraint logic programming
+Normal rank
@@ Property / cites work @@
+Simplification by Cooperating Decision Procedures
@@ Property / cites work: Simplification by Cooperating Decision Procedures / rank @@
+Normal rank
@@ Property / cites work @@
+Equational problems and disunification
@@ Property / cites work: Equational problems and disunification / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient interval linear equality solving in constraint logic programming
+Normal rank
@@ Property / cites work @@
+A theory of type polymorphism in programming
@@ Property / cites work: A theory of type polymorphism in programming / rank @@
+Normal rank
@@ Property / cites work @@
+On solving equations and disequations
@@ Property / cites work: On solving equations and disequations / rank @@
+Normal rank
@@ Property / cites work @@
+The Principal Type-Scheme of an Object in Combinatory Logic
+Normal rank
@@ Property / cites work @@
+Combination of constraint solvers for free and quasi-free structures
+Normal rank
@@ Property / cites work @@
+Combining symbolic constraint solvers on algebraic domains
+Normal rank
@@ Property / cites work @@
+Introduction to the constraint language NCL
@@ Property / cites work: Introduction to the constraint language NCL / rank @@
+Normal rank
@@ Property / cites work @@
+Design, implementation, and evaluation of the constraint language cc(FD)
+Normal rank
@@ Property / cites work @@
+The semantics of constraint logic programs1Note that reviewing of this paper was handled by the Editor-in-Chief.1
+Normal rank
@@ Property / cites work @@
+Q4523706
@@ Property / cites work: Q4523706 / rank @@
+Normal rank
@@ Property / cites work @@
+Integration of declarative and constraint programming
+Normal rank
@@ Property / cites work @@
+Unification in the union of disjoint equational theories: Combining decision procedures
+Normal rank
@@ Property / cites work @@
+Term Rewriting and All That
@@ Property / cites work: Term Rewriting and All That / rank @@
+Normal rank
@@ Property / cites work @@
+A needed narrowing strategy
@@ Property / cites work: A needed narrowing strategy / rank @@
+Normal rank
@@ Property / cites work @@
+Applying interval arithmetic to real, integer, and boolean constraints
+Normal rank
@@ Property / cites work @@
+A new generic scheme for functional logic programming with constraints
+Normal rank