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

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-540-92243-8_4
+Normal rank
@@ Property / OpenAlex ID @@
+W2144493062
@@ Property / OpenAlex ID: W2144493062 / rank @@
+Normal rank
@@ 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