1. Apt, K.R.: Principles of constraint programming. Cambridge University Press (2003)
2. Arnvig, M., Beermann, B., Köper, B., Maziul, M., Mellett, U., Niesing, C., Vogt, J.: Managing shiftwork in european atm. Literature Review. European Organisation for the Safety of Air Navigation (2006)
3. Beldiceanu, N., Carlsson, M., Rampon, J.-X.: Global constraint catalog. Technical report, SICS (2005)
4. Berre, D.L., Parrain, A.: The sat4j library, release 2.2. JSAT 7(2-3), 59–64 (2010)
5. Biere, A.: Lingeling, plingeling, picosat and precosat at sat race 2010. FMV Report Series Technical Report 10(1) (2010)