Using dual presolving reductions to reformulate cumulative constraints (Q487651): Difference between revisions

@@ Property / describes a project that uses @@
+Essence
@@ Property / describes a project that uses: Essence / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MiniZinc
@@ Property / describes a project that uses: MiniZinc / 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 @@
+PSPLIB
@@ Property / describes a project that uses: PSPLIB / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CHIP
@@ Property / describes a project that uses: CHIP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+BL data set
@@ Property / describes a project that uses: BL data set / 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/s10601-012-9136-9
+Normal rank
@@ Property / OpenAlex ID @@
+W1972237262
@@ Property / OpenAlex ID: W1972237262 / 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 @@
+SCIP: solving constraint integer programs
@@ Property / cites work: SCIP: solving constraint integer programs / rank @@
+Normal rank
@@ Property / cites work @@
+Constraint propagation and decomposition techniques for highly disjunctive and highly cumulative project scheduling problems
+Normal rank
@@ Property / cites work @@
+Constraint-based scheduling: Applying constraint programming to scheduling problems.
+Normal rank
@@ Property / cites work @@
+Scheduling a single machine to minimize a regular objective function under setup constraints
+Normal rank
@@ Property / cites work @@
+A Constraint Integer Programming Approach for Resource-Constrained Project Scheduling
+Normal rank
@@ Property / cites work @@
+An Approximative Criterion for the Potential of Energetic Reasoning
+Normal rank
@@ Property / cites work @@
+A note on detecting simple redundancies in linear systems
+Normal rank
@@ Property / cites work @@
+Q3624142
@@ Property / cites work: Q3624142 / rank @@
+Normal rank
@@ Property / cites work @@
+A context for constraint satisfaction problem formulation selection
+Normal rank
@@ Property / cites work @@
+Linear Programming
@@ Property / cites work: Linear Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Boosting search with variable elimination in constraint optimization and constraint satisfaction problems
+Normal rank
@@ Property / cites work @@
+Essence: A constraint language for specifying combinatorial problems
+Normal rank
@@ Property / cites work @@
+Redundancy elimination with a lexicographic solved form
+Normal rank
@@ Property / cites work @@
+Redundancy in mathematical programming. A state-of-the-art survey
+Normal rank
@@ Property / cites work @@
+Computing lower bounds by destructive improvement: An application to resource-constrained project scheduling
+Normal rank
@@ Property / cites work @@
+A language and a program for stating and solving combinatorial problems
+Normal rank
@@ Property / cites work @@
+The design of the zinc modelling language
@@ Property / cites work: The design of the zinc modelling language / rank @@
+Normal rank
@@ Property / cites work @@
+Solving Project Scheduling Problems by Minimum Cut Computations
+Normal rank
@@ Property / cites work @@
+Counting-Based Search: Branching Heuristics for Constraint Satisfaction Problems
+Normal rank
@@ Property / cites work @@
+Automatic Detection of Variable and Value Symmetries
+Normal rank
@@ Property / cites work @@
+Preprocessing and Probing Techniques for Mixed Integer Programming Problems
+Normal rank
@@ Property / cites work @@
+Solving RCPSP/max by lazy clause generation
@@ Property / cites work: Solving RCPSP/max by lazy clause generation / rank @@
+Normal rank
@@ Property / cites work @@
+Max Energy Filtering Algorithm for Discrete Cumulative Resources
+Normal rank
@@ Property / cites work @@
+An Integrated Solver for Optimization Problems
@@ Property / cites work: An Integrated Solver for Optimization Problems / rank @@
+Normal rank