1. Andres, B., Kaufmann, B., Matheis, O., Schaub, T.: Unsatisfiability-based optimization in clasp. In: Proceedings of ICLP Technical Communications. LIPIcs, vol. 17, pp. 211–221. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2012)
2. Lecture Notes in Computer Science;C Ansótegui,2012
3. Bensana, E., Lemaître, M., Verfaillie, G.: Earth observation satellite management. Constraints 4(3), 293–299 (1999). https://doi.org/10.1023/A:1026488509554
4. Lecture Notes in Computer Science;J Berg,2017
5. Lecture Notes in Computer Science;S Brand,2007