Explaining the \texttt{cumulative} propagator
From MaRDI portal
Publication:647477
DOI10.1007/s10601-010-9103-2zbMath1226.68099OpenAlexW1980415852MaRDI QIDQ647477
Andreas Schutt, Mark G. Wallace, Thibaut Feydy, Peter J. Stuckey
Publication date: 23 November 2011
Published in: Constraints (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10601-010-9103-2
explanationsresource-constrained project scheduling problem\texttt{cumulative} constraintlazy clause generationnogood learning
Deterministic scheduling theory in operations research (90B35) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Related Items
On the efficient modeling and solution of the multi-mode resource-constrained project scheduling problem with generalized precedence relations, An effective branch-and-price algorithm for the preemptive resource constrained project scheduling problem based on minimal interval order enumeration, Branch-and-cut-and-price for the electric vehicle routing problem with time windows, piecewise-linear recharging and capacitated recharging stations, Optimization Strategies for Resource-Constrained Project Scheduling Problems in Underground Mining, A MinCumulative resource constraint, A preemptive bound for the resource constrained project scheduling problem, Redundant cumulative constraints to compute preemptive bounds, Using constraint programming for solving RCPSP/MAX-cal, Solving RCPSP/max by lazy clause generation, An efficient pseudo-polynomial algorithm for finding a lower bound on the makespan for the resource constrained project scheduling problem, Nutmeg: a MIP and CP hybrid solver using branch-and-check, Answer set programming as a modeling language for course timetabling, Mixed-integer linear programming and constraint programming formulations for solving resource availability cost problems, A satisfiability and workload-based exact method for the resource constrained project scheduling problem with generalized precedence constraints, A computational study of constraint programming approaches for resource-constrained project scheduling with autonomous learning effects, Energetic reasoning for energy-constrained scheduling with a continuous resource
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Jackson's pseudo-preemptive schedule and cumulative scheduling problems
- SAT-solving in practice, with a tutorial example from supervisory control
- Experimental investigation of heuristics for resource-constrained project scheduling: an update
- A constraint programming approach for the resource-constrained project scheduling problem
- The design of the zinc modelling language
- Scheduling subject to resource constraints: Classification and complexity
- Temporal constraint networks
- Serial and parallel resource-constrained project scheduling methods revisited: Theory and computation
- PSPLIB -- a project scheduling problem library
- Experimental evaluation of state-of-the-art heuristics for the resource-constrained project scheduling problem
- Local search with constraint propagation and conflict-based heuristics
- Constraint propagation and decomposition techniques for highly disjunctive and highly cumulative project scheduling problems
- Propagation via lazy clause generation
- Edge Finding for Cumulative Scheduling
- Propagation = Lazy Clause Generation
- New Benchmark Results for the Resource-Constrained Project Scheduling Problem
- Theory and Applications of Satisfiability Testing
- Computing Explanations for the Unary Resource Constraint
- A machine program for theorem-proving
