Explaining the \texttt{cumulative} propagator
From MaRDI portal
Publication:647477
DOI10.1007/S10601-010-9103-2zbMATH Open1226.68099OpenAlexW1980415852MaRDI QIDQ647477FDOQ647477
Andreas Schutt, Mark 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
Recommendations
- Some Remarks on the Propagator Equation
- A mathematical justification for the Herman-Kluk propagator
- Propagators and path integrals
- On the propagator equation
- Summing the derivative expansion of the effective action
- On the exact propagator beyond and at caustics
- Explicit derivation of the propagator for a Dirac delta potential
- Understanding the potential of propagators
- MDD propagators with explanation
- On the derivation of the Herman–Kluk propagator
resource-constrained project scheduling problem\texttt{cumulative} constraintexplanationslazy clause generationnogood learning
Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Deterministic scheduling theory in operations research (90B35)
Cites Work
- Theory and Applications of Satisfiability Testing
- PSPLIB -- a project scheduling problem library
- Experimental investigation of heuristics for resource-constrained project scheduling: an update
- Temporal constraint networks
- Scheduling subject to resource constraints: Classification and complexity
- Serial and parallel resource-constrained project scheduling methods revisited: Theory and computation
- Experimental evaluation of state-of-the-art heuristics for the resource-constrained project scheduling problem
- Propagation via lazy clause generation
- A machine program for theorem-proving
- The design of the zinc modelling language
- New Benchmark Results for the Resource-Constrained Project Scheduling Problem
- Constraint propagation and decomposition techniques for highly disjunctive and highly cumulative project scheduling problems
- Jackson's pseudo-preemptive schedule and cumulative scheduling problems
- Local search with constraint propagation and conflict-based heuristics
- Edge finding for cumulative scheduling
- Title not available (Why is that?)
- Propagation = Lazy Clause Generation
- Title not available (Why is that?)
- Title not available (Why is that?)
- Computing Explanations for the Unary Resource Constraint
- SAT-solving in practice, with a tutorial example from supervisory control
- A constraint programming approach for the resource-constrained project scheduling problem
Cited In (22)
- A genetic algorithm for the resource-constrained project scheduling problem with alternative subgraphs using a Boolean satisfiability solver
- Using constraint programming for solving RCPSP/MAX-cal
- A computational study of constraint programming approaches for resource-constrained project scheduling with autonomous learning effects
- Nutmeg: a MIP and CP hybrid solver using branch-and-check
- On the efficient modeling and solution of the multi-mode resource-constrained project scheduling problem with generalized precedence relations
- MDD propagators with explanation
- An efficient relax-and-solve method for the multi-mode resource constrained project scheduling problem
- Mixed-integer linear programming and constraint programming formulations for solving resource availability cost problems
- Propagation = Lazy Clause Generation
- 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
- A preemptive bound for the resource constrained project scheduling problem
- A MinCumulative resource constraint
- An efficient pseudo-polynomial algorithm for finding a lower bound on the makespan for the resource constrained project scheduling problem
- Answer set programming as a modeling language for course timetabling
- Energetic reasoning for energy-constrained scheduling with a continuous resource
- Solving RCPSP/max by lazy clause generation
- A satisfiability and workload-based exact method for the resource constrained project scheduling problem with generalized precedence constraints
- Redundant cumulative constraints to compute preemptive bounds
- An adapted constraint-programming formulation of the resource-constrained project scheduling problem applied to the identical parallel machines group shop and mixed shop scheduling problems
- An exact constraint programming based procedure for the multi-manned assembly line balancing problem
- Optimization Strategies for Resource-Constrained Project Scheduling Problems in Underground Mining
Uses Software
This page was built for publication: Explaining the \texttt{cumulative} propagator
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q647477)
