SCIP: solving constraint integer programs (Q734351): Difference between revisions

@@ Property / cites work @@
+Conflict analysis in mixed integer programming
@@ Property / cites work: Conflict analysis in mixed integer programming / rank @@
+Normal rank
@@ Property / cites work @@
+SCIP: solving constraint integer programs
@@ Property / cites work: SCIP: solving constraint integer programs / rank @@
+Normal rank
@@ Property / cites work @@
+Improving the feasibility pump
@@ Property / cites work: Improving the feasibility pump / rank @@
+Normal rank
@@ Property / cites work @@
+Constraint Integer Programming: A New Approach to Integrate CP and MIP
+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 @@
+Binary Decision Diagrams
@@ Property / cites work: Binary Decision Diagrams / 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 @@
+A Comparative Study of Linear and Semidefinite Branch-and-Cut Methods for Solving the Minimum Graph Bisection Problem
+Normal rank
@@ Property / cites work @@
+On the Graph Bisection Cut Polytope
@@ Property / cites work: On the Graph Bisection Cut Polytope / rank @@
+Normal rank
@@ Property / cites work @@
+Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
+Normal rank
@@ Property / cites work @@
+Flow pack facets of the single node fixed-charge flow polytope
+Normal rank
@@ Property / cites work @@
+On the facets of the mixed-integer knapsack polyhedron
+Normal rank
@@ Property / cites work @@
+On splittable and unsplittable flow capacitated network design arc-set polyhedra.
+Normal rank
@@ Property / cites work @@
+Facets of the knapsack polytope
@@ Property / cites work: Facets of the knapsack polytope / rank @@
+Normal rank
@@ Property / cites work @@
+Gomory cuts revisited
@@ Property / cites work: Gomory cuts revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Facets of the Knapsack Polytope From Minimal Covers
+Normal rank
@@ Property / cites work @@
+Branch and Bound Methods for Mathematical Programming Systems
+Normal rank
@@ Property / cites work @@
+Experiments in mixed-integer linear programming
@@ Property / cites work: Experiments in mixed-integer linear programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4817533
@@ Property / cites work: Q4817533 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4553262
@@ Property / cites work: Q4553262 / rank @@
+Normal rank
@@ Property / cites work @@
+Branch and Infer: A Unifying Framework for Integer and Finite Domain Constraint Programming
+Normal rank
@@ Property / cites work @@
+Graph-Based Algorithms for Boolean Function Manipulation
+Normal rank
@@ Property / cites work @@
+Solving Large-Scale Zero-One Linear Programming Problems
+Normal rank
@@ Property / cites work @@
+Exploring relaxation induced neighborhoods to improve MIP solutions
+Normal rank
@@ Property / cites work @@
+Q3844775
@@ Property / cites work: Q3844775 / rank @@
+Normal rank
@@ Property / cites work @@
+Benchmarking optimization software with performance profiles.
+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 @@
+Local branching
@@ Property / cites work: Local branching / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Experiments in mixed-integer linear programming using pseudo-costs
+Normal rank
@@ Property / cites work @@
+Q4354785
@@ Property / cites work: Q4354785 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3274590
@@ Property / cites work: Q3274590 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5645210
@@ Property / cites work: Q5645210 / rank @@
+Normal rank
@@ Property / cites work @@
+Planning and Scheduling by Logic-Based Benders Decomposition
+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 @@
+Computing Optimal Morse Matchings
@@ Property / cites work: Computing Optimal Morse Matchings / rank @@
+Normal rank
@@ Property / cites work @@
+Orbitopal Fixing
@@ Property / cites work: Orbitopal Fixing / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Codes for Problems of Integer Programming
+Normal rank
@@ Property / cites work @@
+Strengthening Chvátal-Gomory cuts and Gomory fractional cuts
+Normal rank
@@ Property / cites work @@
+Q3372341
@@ Property / cites work: Q3372341 / rank @@
+Normal rank
@@ Property / cites work @@
+A Computational Study of Search Strategies for Mixed Integer Programming
+Normal rank
@@ Property / cites work @@
+Q3429158
@@ Property / cites work: Q3429158 / rank @@
+Normal rank
@@ Property / cites work @@
+Aggregation and Mixed Integer Rounding to Solve MIPs
+Normal rank
@@ Property / cites work @@
+On the Solution of Discrete Programming Problems
@@ Property / cites work: On the Solution of Discrete Programming Problems / rank @@
+Normal rank
@@ Property / cites work @@
+Investigation of some branch and bound strategies for the solution of mixed integer linear programs
+Normal rank
@@ Property / cites work @@
+Valid Linear Inequalities for Fixed Charge Problems
+Normal rank
@@ Property / cites work @@
+Branch-and-Cut for the Maximum Feasible Subsystem Problem
+Normal rank
@@ Property / cites work @@
+Preprocessing and Probing Techniques for Mixed Integer Programming Problems
+Normal rank
@@ Property / cites work @@
+Introduction to ABACUS -- a branch-and-cut system
@@ Property / cites work: Introduction to ABACUS -- a branch-and-cut system / rank @@
+Normal rank
@@ Property / cites work @@
+Solving planning and scheduling problems with combined integer and constraint programming
+Normal rank
@@ Property / cites work @@
+Valid inequalities for mixed 0-1 programs
@@ Property / cites work: Valid inequalities for mixed 0-1 programs / rank @@
+Normal rank
@@ Property / cites work @@
+Valid inequalities for 0-1 knapsacks and MIPs with generalised upper bound constraints
+Normal rank
@@ Property / cites work @@
+Q4346087
@@ Property / cites work: Q4346087 / rank @@
+Normal rank