Mixed global constraints and inference in hybrid CLP--IP solvers (Q1601927): Difference between revisions

@@ Property / cites work @@
+Disjunctive Programming
@@ Property / cites work: Disjunctive Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4839037
@@ Property / cites work: Q4839037 / rank @@
+Normal rank
@@ Property / cites work @@
+Branch and Infer: A Unifying Framework for Integer and Finite Domain Constraint Programming
+Normal rank
@@ Property / cites work @@
+Q3619797
@@ Property / cites work: Q3619797 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4939282
@@ Property / cites work: Q4939282 / rank @@
+Normal rank
@@ Property / cites work @@
+Mixed logical-linear programming
@@ Property / cites work: Mixed logical-linear programming / rank @@
+Normal rank
@@ Property / cites work @@
+A declarative modeling framework that integrates solution methods
+Normal rank
@@ Property / cites work @@
+Q2741385
@@ Property / cites work: Q2741385 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4254883
@@ Property / cites work: Q4254883 / rank @@
+Normal rank
@@ Property / cites work @@
+A Modeling Language for Mathematical Programming
@@ Property / cites work: A Modeling Language for Mathematical Programming / rank @@
+Normal rank
@@ Property / cites work @@
+A new approach to integrating mixed integer programming and constraint logic programming
+Normal rank