Explaining the \texttt{cumulative} propagator
From MaRDI portal
Publication:647477
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
Cites work
- scientific article; zbMATH DE number 3782375 (Why is no real title available?)
- scientific article; zbMATH DE number 2080311 (Why is no real title available?)
- scientific article; zbMATH DE number 802345 (Why is no real title available?)
- A constraint programming approach for the resource-constrained project scheduling problem
- A machine program for theorem-proving
- Computing Explanations for the Unary Resource Constraint
- Constraint propagation and decomposition techniques for highly disjunctive and highly cumulative project scheduling problems
- Edge finding for cumulative scheduling
- Experimental evaluation of state-of-the-art heuristics for the resource-constrained project scheduling problem
- Experimental investigation of heuristics for resource-constrained project scheduling: an update
- Jackson's pseudo-preemptive schedule and cumulative scheduling problems
- Local search with constraint propagation and conflict-based heuristics
- New Benchmark Results for the Resource-Constrained Project Scheduling Problem
- PSPLIB -- a project scheduling problem library
- Propagation = Lazy Clause Generation
- Propagation via lazy clause generation
- SAT-solving in practice, with a tutorial example from supervisory control
- Scheduling subject to resource constraints: Classification and complexity
- Serial and parallel resource-constrained project scheduling methods revisited: Theory and computation
- Temporal constraint networks
- The design of the zinc modelling language
- Theory and Applications of Satisfiability Testing
Cited in
(26)- Optimization Strategies for Resource-Constrained Project Scheduling Problems in Underground Mining
- Self-decomposable global constraints
- Using constraint programming for solving RCPSP/MAX-cal
- A genetic algorithm for the resource-constrained project scheduling problem with alternative subgraphs using a Boolean satisfiability solver
- A computational study of constraint programming approaches for resource-constrained project scheduling with autonomous learning effects
- On the efficient modeling and solution of the multi-mode resource-constrained project scheduling problem with generalized precedence relations
- Nutmeg: a MIP and CP hybrid solver using branch-and-check
- 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
- Presolving techniques and linear relaxations for cumulative scheduling
- Explaining circuit propagation
- A MinCumulative resource constraint
- An efficient pseudo-polynomial algorithm for finding a lower bound on the makespan for the resource constrained project scheduling problem
- Using dual presolving reductions to reformulate cumulative constraints
- Energetic reasoning for energy-constrained scheduling with a continuous resource
- Answer set programming as a modeling language for course timetabling
- 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
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)
