Solving the Resource Constrained Project Scheduling Problem with Generalized Precedences by Lazy Clause Generation

09/02/2010
by   Andreas Schutt, et al.
0

The technical report presents a generic exact solution approach for minimizing the project duration of the resource-constrained project scheduling problem with generalized precedences (Rcpsp/max). The approach uses lazy clause generation, i.e., a hybrid of finite domain and Boolean satisfiability solving, in order to apply nogood learning and conflict-driven search on the solution generation. Our experiments show the benefit of lazy clause generation for finding an optimal solutions and proving its optimality in comparison to other state-of-the-art exact and non-exact methods. The method is highly robust: it matched or bettered the best known results on all of the 2340 instances we examined except 3, according to the currently available data on the PSPLib. Of the 631 open instances in this set it closed 573 and improved the bounds of 51 of the remaining 58 instances.

READ FULL TEXT
research
03/28/2016

Hybrid Ant Colony Optimization in solving Multi-Skill Resource-Constrained Project Scheduling Problem

In this paper Hybrid Ant Colony Optimization (HAntCO) approach in solvin...
research
03/14/2022

A faster exact method for solving the robust multi-mode resource-constrained project scheduling problem

This paper presents a mixed-integer linear programming formulation for t...
research
10/20/2022

An Efficient Merge Search Matheuristic for Maximising the Net Present Value of Project Schedules

Resource constrained project scheduling is an important combinatorial op...
research
11/13/2017

Solving the Resource Constrained Project Scheduling Problem Using the Parallel Tabu Search Designed for the CUDA Platform

In the paper, a parallel Tabu Search algorithm for the Resource Constrai...
research
02/25/2019

On constraint programming for a new flexible project scheduling problem with resource constraints

Real-world project scheduling often requires flexibility in terms of the...
research
08/15/2012

Explaining Time-Table-Edge-Finding Propagation for the Cumulative Resource Constraint

Cumulative resource constraints can model scarce resources in scheduling...
research
02/15/2019

A Comparison of Random Task Graph Generation Methods for Scheduling Problems

How to generate instances with relevant properties and without bias rema...

Please sign up or login with your details

Forgot password? Click here to reset