1. A new look at BDDs for pseudo-boolean constraints;Abío;Journal of Artificial Intelligence Research,2012
2. Ansótegui, C., Bofill, M., Palahí, M., Suy, J., & Villaret, M. (2011). Satisfiability Modulo Theories: An Efficient Approach for the Resource-Constrained Project Scheduling Problem. In Proceedings of the ninth symposium on abstraction, reformulation, and approximation. (pp. 2–9).
3. A note on time-indexed formulations for the resource-constrained project scheduling problem;Artigues,2013
4. Resource-constrained project scheduling: Models, algorithms, extensions and applications;Artigues,2013
5. Glucose: a solver that predicts learnt clauses quality;Audemard;SAT Competition,2009