Scheduling project networks with resource constraints and time windows
Annals of Operations Research
Resource-constrained project scheduling: a survey of recent developments
Computers and Operations Research
A Computing Procedure for Quantification Theory
Journal of the ACM (JACM)
A machine program for theorem-proving
Communications of the ACM
Chaff: engineering an efficient SAT solver
Proceedings of the 38th annual Design Automation Conference
A Constraint-Based Method for Project Scheduling with Time Windows
Journal of Heuristics
Global difference constraint propagation for finite domain solvers
Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
Propagation via lazy clause generation
Constraints
An effective algorithm for project scheduling with arbitrary temporal constraints
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Iterative Flattening Search on RCPSP/max Problems: Recent Developments
Recent Advances in Constraints
IJCAI'99 Proceedings of the 16th international joint conference on Artificial intelligence - Volume 2
The effect of restarts on the efficiency of clause learning
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Why cumulative decomposition is not as bad as it sounds
CP'09 Proceedings of the 15th international conference on Principles and practice of constraint programming
Explaining the cumulative propagator
Constraints
Half reification and flattening
CP'11 Proceedings of the 17th international conference on Principles and practice of constraint programming
The g12 project: mapping solver independent models to efficient solutions
ICLP'05 Proceedings of the 21st international conference on Logic Programming
Extending chip in order to solve complex scheduling and placement problems
Mathematical and Computer Modelling: An International Journal
SAT'13 Proceedings of the 16th international conference on Theory and Applications of Satisfiability Testing
Hi-index | 0.00 |
We present a generic exact method for minimizing the project duration of the resource-constrained project scheduling problem with generalized precedence relations (Rcpsp/max). This is a very general scheduling model with applications areas such as project management and production planning. Our method uses lazy clause generation, i.e., a hybrid of finite domain and Boolean satisfiability solving, in order to apply no-good learning and conflict-driven search to the solution generation. Our experiments show the benefit of lazy clause generation for finding an optimal solution and proving its optimality in comparison to other state-of-the-art exact and non-exact methods. In comparison to other methods, our method is able to find better solutions faster on the Rcpsp/max benchmarks. Indeed, our method closes 573 open problem instances and generates better solutions in most of the remaining instances. Surprisingly, although ours is an exact method, it outperforms the published non-exact methods on these benchmarks in terms of the quality of solutions.