Typing Linear Constraints for Moding CLP( ${\cal R}$ ) Programs (Q3522065): Difference between revisions

@@ Property / author @@
-Salvatore Ruggieri
@@ Property / author: Salvatore Ruggieri / rank @@
-Normal rank
@@ Property / author @@
+Salvatore Ruggieri
@@ Property / author: Salvatore Ruggieri / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-540-69166-2_9
+Normal rank
@@ Property / OpenAlex ID @@
+W81447482
@@ Property / OpenAlex ID: W81447482 / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithm for finding a general formula for the non-negative solutions of a system of linear inequalities
+Normal rank
@@ Property / cites work @@
+Q4736509
@@ Property / cites work: Q4736509 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstracting numeric constraints with Boolean functions
+Normal rank
@@ Property / cites work @@
+Q3989943
@@ Property / cites work: Q3989943 / rank @@
+Normal rank
@@ Property / cites work @@
+A canonical form for generalized linear constraints
+Normal rank
@@ Property / cites work @@
+Q3671749
@@ Property / cites work: Q3671749 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3818127
@@ Property / cites work: Q3818127 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3522065