Q5020558 (Q5020558): Difference between revisions

@@ Property / describes a project that uses @@
+Quaffle
@@ Property / describes a project that uses: Quaffle / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Linear-Logic Based Analysis of Constraint Handling Rules with Disjunction
+Normal rank
@@ Property / cites work @@
+Constraint Handling Rules
@@ Property / cites work: Constraint Handling Rules / rank @@
+Normal rank
@@ Property / cites work @@
+Q2701742
@@ Property / cites work: Q2701742 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory and practice of constraint handling rules
@@ Property / cites work: Theory and practice of constraint handling rules / rank @@
+Normal rank
@@ Property / cites work @@
+Solving quantified constraint satisfaction problems
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Principles and Practice of Constraint Programming – CP 2004
+Normal rank
@@ Property / cites work @@
+Logic Programming
@@ Property / cites work: Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+BlockSolve: A Bottom-Up Approach for Solving Quantified CSPs
+Normal rank