Martin Kolombo, Roman Barták. A Constraint-Based Planner for Mars Express Orbiter. In Alexander F. Gelbukh, Félix Castro Espinoza, Sofía N. Galicia-Haro, editors, Nature-Inspired Computation and Machine Learning - 13th Mexican International Conference on Artificial Intelligence, MICAI 2014, Tuxtla Gutiérrez, Mexico, November 16-22, 2014. Proceedings, Part II. Volume 8857 of Lecture Notes in Computer Science, pages 451-463, Springer, 2014. [doi]
Abstract is missing.