Constraint Integer Programming: A New Approach to Integrate CP and MIP (Q5387617): Difference between revisions

@@ Property / describes a project that uses @@
+MiniSat
@@ Property / describes a project that uses: MiniSat / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Benchmarks for Optimization Software
+Normal rank
@@ Property / describes a project that uses @@
+MIPLIB
@@ Property / describes a project that uses: MIPLIB / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SCIL
@@ Property / describes a project that uses: SCIL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SCIP
@@ Property / describes a project that uses: SCIP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Concorde
@@ Property / describes a project that uses: Concorde / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SIMPL
@@ Property / describes a project that uses: SIMPL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CPLEX
@@ Property / describes a project that uses: CPLEX / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MIPLIB2003
@@ Property / describes a project that uses: MIPLIB2003 / rank @@
+Normal rank
@@ 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-68155-7_4
+Normal rank
@@ Property / OpenAlex ID @@
+W2147600044
@@ Property / OpenAlex ID: W2147600044 / rank @@
+Normal rank
@@ Property / cites work @@
+Conflict analysis in mixed integer programming
@@ Property / cites work: Conflict analysis in mixed integer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q5241193
@@ Property / cites work: Q5241193 / rank @@
+Normal rank
@@ Property / cites work @@
+Branching rules revisited
@@ Property / cites work: Branching rules revisited / rank @@
+Normal rank
@@ Property / cites work @@
+MIPLIB 2003
@@ Property / cites work: MIPLIB 2003 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4411347
@@ Property / cites work: Q4411347 / rank @@
+Normal rank
@@ Property / cites work @@
+Embedding {0, ½}-Cuts in a Branch-and-Cut Framework: A Computational Study
+Normal rank
@@ Property / cites work @@
+Q3425132
@@ Property / cites work: Q3425132 / rank @@
+Normal rank
@@ Property / cites work @@
+Principles of Constraint Programming
@@ Property / cites work: Principles of Constraint Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
+Normal rank
@@ Property / cites work @@
+Facets of the knapsack polytope
@@ Property / cites work: Facets of the knapsack polytope / rank @@
+Normal rank
@@ Property / cites work @@
+Mixed 0-1 Programming by Lift-and-Project in a Branch-and-Cut Framework
+Normal rank
@@ Property / cites work @@
+Heuristics of the Branch-Cut-and-Price-Framework SCIP
+Normal rank
@@ Property / cites work @@
+Branch and Infer: A Unifying Framework for Integer and Finite Domain Constraint Programming
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Practical Solution of Large Mixed Integer Programming Problems with Umpire
+Normal rank
@@ Property / cites work @@
+Computational Integer Programming and Cutting Planes
+Normal rank
@@ Property / cites work @@
+Q3274590
@@ Property / cites work: Q3274590 / rank @@
+Normal rank
@@ Property / cites work @@
+Mixed logical-linear programming
@@ Property / cites work: Mixed logical-linear programming / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithms for Hybrid MILP/CP Models for a Class of Optimization Problems
+Normal rank
@@ Property / cites work @@
+Degree-two Inequalities, Clique Facets, and Biperfect Graphs
+Normal rank
@@ Property / cites work @@
+Strengthening Chvátal-Gomory cuts and Gomory fractional cuts
+Normal rank
@@ Property / cites work @@
+GRASP: a search algorithm for propositional satisfiability
+Normal rank
@@ Property / cites work @@
+Q4040221
@@ Property / cites work: Q4040221 / rank @@
+Normal rank
@@ Property / cites work @@
+Valid Linear Inequalities for Fixed Charge Problems
+Normal rank
@@ Property / cites work @@
+A new approach to integrating mixed integer programming and constraint logic programming
+Normal rank
@@ Property / cites work @@
+Preprocessing and Probing Techniques for Mixed Integer Programming Problems
+Normal rank
@@ Property / cites work @@
+Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis
+Normal rank
@@ Property / cites work @@
+Solving planning and scheduling problems with combined integer and constraint programming
+Normal rank
@@ Property / cites work @@
+Q4346087
@@ Property / cites work: Q4346087 / rank @@
+Normal rank