1. Ábrahám E, Corzilius F, Johnsen EB, Kremer G, Mauro J (2016) Zephyrus2: on the fly deployment optimization using SMT and CP technologies. In: International symposium on dependable software engineering: theories, tools, and applications. Springer, New York, pp 229–245
2. Ahuja RK, Magnanti TL, Orlin JB (1993) Network flows: theory, algorithms, and applications. Prentice-Hall, Inc., Upper Saddle River
3. Apache (2016) Lucene core. https://lucene.apache.org/. Accessed 16 aug 2017
4. Principles of constraint programming;Apt,2003
5. Boussemart F, Hemery F, Lecoutre C, Sais L (2004) Boosting systematic search by weighting constraints. In: ECAI, vol. 16