Constructing Rule-Based Solvers for Intentionally-Defined Constraints (Q3616883): Difference between revisions

@@ Property / cites work @@
+Automatic generation of CHR constraint solvers
@@ Property / cites work: Automatic generation of CHR constraint solvers / rank @@
+Normal rank
@@ Property / cites work @@
+Recent Advances in Constraints
@@ Property / cites work: Recent Advances in Constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Generation of Rule-Based Constraint Solvers: Combined Approach
+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 @@
+Logic Based Program Synthesis and Transformation
@@ Property / cites work: Logic Based Program Synthesis and Transformation / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming
@@ Property / cites work: Logic Programming / rank @@
+Normal rank