Solving the Resource Constrained Project Scheduling Problem with Generalized Precedences by Lazy Clause Generation
Efficient constraint propagation engines