An approach using SAT solvers for the RCPSP with logical constraints

DOI10.1016/J.EJOR.2015.08.044zbMATH Open1346.90449OpenAlexW1867167597MaRDI QIDQ321002FDOQ321002

José Coelho, Mario Vanhoucke

Publication date: 7 October 2016

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

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

Recommendations

• Multi-mode resource-constrained project scheduling using RCPSP and SAT solvers
• A Boolean satisfiability approach to the resource-constrained project scheduling problem
• A satisfiability and workload-based exact method for the resource constrained project scheduling problem with generalized precedence constraints
• A constraint integer programming approach for resource-constrained project scheduling
• Using constraint programming for solving RCPSP/MAX-cal

zbMATH Keywords

SATproject schedulingRCPSPAND/OR/BI constraints

Mathematics Subject Classification ID

Management decision making, including multiple objectives (90B50) Integer programming (90C10)

Cites Work

• PSPLIB -- a project scheduling problem library
• An experimental investigation of metaheuristics for the multi-mode resource-constrained project scheduling problem on new dataset instances
• A Decomposition-Based Genetic Algorithm for the Resource-Constrained Project-Scheduling Problem
• Experimental investigation of heuristics for resource-constrained project scheduling: an update
• A survey of variants and extensions of the resource-constrained project scheduling problem
• The complexity of theorem-proving procedures
• Resource-constrained project scheduling: A survey of recent developments.
• Project scheduling. A research handbook.
• Resource-constrained project scheduling: Notation, classification, models, and methods
• A hybrid genetic algorithm for the resource-constrained project scheduling problem
• GRASP: a search algorithm for propositional satisfiability
• A machine program for theorem-proving
• Multi-mode resource-constrained project scheduling using RCPSP and SAT solvers
• ProGen/\(\pi x\) -- An instance generator for resource-constrained project scheduling problems with partially renewable resources and further extensions
• Justification and RCPSP: a technique that pays
• An iterative scheduling technique for resource-constrained project scheduling
• Scheduling with AND/OR Precedence Constraints
• Scheduling Tasks with AND/OR Precedence Constraints
• Project Scheduling in AND–OR Graphs: A Generalization of Dijkstra's Algorithm
• A note on the paper Resource-constraint project scheduling: Notation, classification, models and methods by Bruckner et al

Cited In (9)

• A genetic algorithm for the resource-constrained project scheduling problem with alternative subgraphs using a Boolean satisfiability solver
• Stochastic project scheduling with hierarchical alternatives
• Resource-constrained project scheduling with activity splitting and setup times
• A tabu search procedure for the resource-constrained project scheduling problem with alternative subgraphs
• An effective heuristic for project scheduling with resource availability cost
• Project scheduling to minimize the makespan under flexible resource profiles and marginal diminishing returns of the resource
• raSAT: An SMT Solver for Polynomial Constraints
• Resource leveling in projects with flexible structures
• An updated survey of variants and extensions of the resource-constrained project scheduling problem

Uses Software

• PSPLIB

This page was built for publication: An approach using SAT solvers for the RCPSP with logical constraints

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