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

@@ Property / DOI @@
-.1007/s10601-012-9136-9
@@ Property / DOI: 10.1007/s10601-012-9136-9 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
+C11
@@ Property / Mathematics Subject Classification ID: 90C11 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6389807
@@ Property / zbMATH DE Number: 6389807 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+dual reductions
@@ Property / zbMATH Keywords: dual reductions / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+cumulative constraints
@@ Property / zbMATH Keywords: cumulative constraints / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+presolving
@@ Property / zbMATH Keywords: presolving / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+variable locks
@@ Property / zbMATH Keywords: variable locks / rank @@
+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 @@
+Zinc
@@ Property / describes a project that uses: Zinc / rank @@
+Normal rank
@@ 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 @@
+Publication
@@ Property / MaRDI profile type: Publication / 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
@@ Property / DOI @@
+.1007/S10601-012-9136-9
@@ Property / DOI: 10.1007/S10601-012-9136-9 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:487651