A Constraint-Based Planner for Mars Express Orbiter. - Martin Kolombo; Roman Barták (MICAI (2), 2014)