A canonical form for generalized linear constraints (Q1186697): Difference between revisions

@@ Property / author @@
-Kenneth McAloon
@@ Property / author: Kenneth McAloon / rank @@
-Normal rank
@@ Property / author @@
+Kenneth McAloon
@@ Property / author: Kenneth McAloon / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GHC
@@ Property / describes a project that uses: GHC / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Equivalent Integer Programs and Canonical Problems
+Normal rank
@@ Property / cites work @@
+Constraint propagation with interval labels
@@ Property / cites work: Constraint propagation with interval labels / rank @@
+Normal rank
@@ Property / cites work @@
+Network-based heuristics for constraint-satisfaction problems
+Normal rank
@@ Property / cites work @@
+Nonequilibrium phase transitions in epidemics and sandpiles
+Normal rank
@@ Property / cites work @@
+Linear programming is log-space hard for P
@@ Property / cites work: Linear programming is log-space hard for P / rank @@
+Normal rank
@@ Property / cites work @@
+Q3894046
@@ Property / cites work: Q3894046 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692609
@@ Property / cites work: Q4692609 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5547252
@@ Property / cites work: Q5547252 / rank @@
+Normal rank
@@ Property / cites work @@
+Redundancy in mathematical programming. A state-of-the-art survey
+Normal rank
@@ Property / cites work @@
+Q3050157
@@ Property / cites work: Q3050157 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3789064
@@ Property / cites work: Q3789064 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5638112
@@ Property / cites work: Q5638112 / rank @@
+Normal rank
@@ Property / cites work @@
+Truly concurrent constraint programming
@@ Property / cites work: Truly concurrent constraint programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q3818127
@@ Property / cites work: Q3818127 / rank @@
+Normal rank
@@ Property / cites work @@
+On the SUP-INF Method for Proving Presburger Formulas
+Normal rank
@@ Property / cites work @@
+Q3994465
@@ Property / cites work: Q3994465 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994881
@@ Property / cites work: Q3994881 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/0747-7171(92)90002-l
+Normal rank
@@ Property / OpenAlex ID @@
+W2079522633
@@ Property / OpenAlex ID: W2079522633 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1186697