A satisfiability and workload-based exact method for the resource constrained project scheduling problem with generalized precedence constraints
type: Item
instance of: scholarly article
title: A satisfiability and workload-based exact method for the resource constrained project scheduling problem with generalized precedence constraints
zbMATH Open document ID: 1487.90285
author: Guilherme Henrique Ismael de Azevedo
author: Artur Alves Pessoa
author: A. Subramanian
published in: European Journal of Operational Research
publication date: 2021-06-03T00:00:00Z
Mathematics Subject Classification ID: 90B35
Mathematics Subject Classification ID: 68T20
zbMATH DE Number: 7354498
zbMATH Keywords: project scheduling
zbMATH Keywords: resource constraints
zbMATH Keywords: satisfiability problem
describes a project that uses: BL data set
describes a project that uses: MiniSat
MaRDI profile type: Publication
full work available at URL: j.ejor.2019.07.056
OpenAlex ID: W2965695689
cites work: Tight LP bounds for resource constrained project scheduling
cites work: Constraint propagation and decomposition techniques for highly disjunctive and highly cumulative project scheduling problems
cites work: Q3468865
cites work: An almost optimal algorithm for unbounded searching
cites work: Scheduling subject to resource constraints: Classification and complexity
cites work: Scheduling projects with labor constraints
cites work: Project scheduling with resource constraints: A branch and bound approach. Note by Frederik Kaefer
cites work: A Computing Procedure for Quantification Theory
cites work: Constraint-propagation-based cutting planes: an application to the resource-constrained project scheduling problem
cites work: Theory and Applications of Satisfiability Testing
cites work: Strong valid inequalities for the resource-constrained scheduling problem with uniform resource requirements
cites work: A Boolean satisfiability approach to the resource-constrained project scheduling problem
cites work: Critical-Path Planning and Scheduling: Mathematical Basis
cites work: Event-based MILP models for resource-constrained project scheduling problems
cites work: IP-based energetic reasoning for the resource constrained project scheduling problem
cites work: GRASP: a search algorithm for propositional satisfiability
cites work: An exact algorithm for the resource-constrained project scheduling problem based on a new mathematical formulation
cites work: Solving Project Scheduling Problems by Minimum Cut Computations
cites work: Explaining Time-Table-Edge-Finding Propagation for the Cumulative Resource Constraint
cites work: Explaining the \texttt{cumulative} propagator
cites work: Solving RCPSP/max by lazy clause generation
DOI: 10.1016/J.EJOR.2019.07.056
Recommended article: A branch-and-bound procedure for the resource-constrained project scheduling problem with generalized precedence relations
Recommended article: A new lower bound for the resource-constrained project scheduling problem with generalized precedence relations
Recommended article: The multi-mode resource-constrained project scheduling problem with generalized precedence relations
Recommended article: On the efficient modeling and solution of the multi-mode resource-constrained project scheduling problem with generalized precedence relations
Recommended article: An efficient optimal solution procedure for the preemptive resource-constrained project scheduling problem
Recommended article: A Time-Oriented Branch-and-Bound Algorithm for Resource-Constrained Project Scheduling with Generalised Precedence Constraints
Recommended article: A high-performance exact method for the resource-constrained project scheduling problem
Recommended article: A preemptive bound for the resource constrained project scheduling problem
Recommended article: A new formulation of the resource-unconstrained project scheduling problem with generalized precedence relations to minimize the completion time
description: scientific article; zbMATH DE number 7354498