On the generalization of constraint programming and boolean satisfiability solving techniques to schedule a resource-constrained project consisting of multi-mode jobs

by Alexander Schnell, Richard F. Hartl
Published 2017-01-01