A satisfiability and workload-based exact method for the resource constrained project scheduling problem with generalized precedence constraints

DOI10.1016/J.EJOR.2019.07.056MaRDI QIDQ2029253zbMATH OpenOpenAlexFDO

Authors Guilherme Henrique Ismael de Azevedo, Artur Alves Pessoa, A. Subramanian

Publication date 3 June 2021

Published in European Journal of Operational Research (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ejor.2019.07.056

zbMATH Keywords

project schedulingresource constraintssatisfiability problem

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Deterministic scheduling theory in operations research (90B35)

Recommendations

• A branch-and-bound procedure for the resource-constrained project scheduling problem with generalized precedence relations
• A new lower bound for the resource-constrained project scheduling problem with generalized precedence relations
• The multi-mode resource-constrained project scheduling problem with generalized precedence relations
• On the efficient modeling and solution of the multi-mode resource-constrained project scheduling problem with generalized precedence relations
• An efficient optimal solution procedure for the preemptive resource-constrained project scheduling problem
• A time-oriented branch-and-bound algorithm for resource-constrained project scheduling with generalised precedence constraints
• A high-performance exact method for the resource-constrained project scheduling problem
• A preemptive bound for the resource constrained project scheduling problem
• A new formulation of the resource-unconstrained project scheduling problem with generalized precedence relations to minimize the completion time

Cites work

• A Boolean satisfiability approach to the resource-constrained project scheduling problem
• A Computing Procedure for Quantification Theory
• An almost optimal algorithm for unbounded searching
• An exact algorithm for the resource-constrained project scheduling problem based on a new mathematical formulation
• Constraint propagation and decomposition techniques for highly disjunctive and highly cumulative project scheduling problems
• Constraint-propagation-based cutting planes: an application to the resource-constrained project scheduling problem
• Critical-Path Planning and Scheduling: Mathematical Basis
• Event-based MILP models for resource-constrained project scheduling problems
• Explaining the \texttt{cumulative} propagator
• Explaining Time-Table-Edge-Finding Propagation for the Cumulative Resource Constraint
• GRASP: a search algorithm for propositional satisfiability
• scientific article; zbMATH DE number 4135692 (Why is no real title available?)
• IP-based energetic reasoning for the resource constrained project scheduling problem
• Project scheduling with resource constraints: A branch and bound approach. Note by Frederik Kaefer
• Scheduling projects with labor constraints
• Scheduling subject to resource constraints: Classification and complexity
• Solving project scheduling problems by minimum cut computations
• Solving RCPSP/max by lazy clause generation
• Strong valid inequalities for the resource-constrained scheduling problem with uniform resource requirements
• Theory and Applications of Satisfiability Testing
• Tight LP bounds for resource constrained project scheduling

Cited in

(11)

• A branch-and-bound procedure for the resource-constrained project scheduling problem with generalized precedence relations
• An updated survey of variants and extensions of the resource-constrained project scheduling problem
• A Boolean satisfiability approach to the resource-constrained project scheduling problem
• On the efficient modeling and solution of the multi-mode resource-constrained project scheduling problem with generalized precedence relations
• An approach using SAT solvers for the RCPSP with logical constraints
• A constraint integer programming approach for resource-constrained project scheduling
• Multi-mode resource-constrained project scheduling using RCPSP and SAT solvers
• An exact algorithm to minimize the makespan in project scheduling with scarce resources and generalized precedence relations
• Optimization Strategies for Resource-Constrained Project Scheduling Problems in Underground Mining
• An exact procedure for the resource-constrained weighted earliness-tardiness project scheduling problem
• Comparing and extending satisfiability solution methods for the resource-constrained project scheduling problem

Describes a project that uses

Uses Software

• BL data set
• MiniSat

This page was built for publication: A satisfiability and workload-based exact method for the resource constrained project scheduling problem with generalized precedence constraints

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2029253)