1. A survey of variants and extensions of the resource-constrained project scheduling problem
2. C. Ansótegui, M. Bofill, M. Palahı, J. Suy, and M. Villaret, “Satisfiability modulo theories: An efficient approach for the resource-constrained project scheduling problem,” in Proceedings of the 9th Symposium on Abstraction, Reformulation and Approximation (SARA 2011) (2011) pp. 2–9.
3. M. Bofill, J. Coll, J. Suy, and M. Villaret, “Solving the multi-mode resource-constrained project scheduling problem with smt,” in 2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI) (IEEE, 2016) pp. 239–246.
4. R. M. Smullyan, “First-order logic,” (1995).
5. A. Biere, M. Heule, and H. van Maaren, Handbook of satisfiability, Vol. 185 (IOS press, 2009).