Rosetta was a European Space Agency (ESA) cornerstone mission that launched in March
2004, exited hibernation in January 2014, entered orbit around the comet 67P/Churyumov …

Constraint Programming is a classical artificial intelligence paradigm characterised by its
flexibility for the modelling of complex problems. In the field of space operations, this …

Every JPL flight mission relies on activity planning and sequence generation software to
perform operations. Most such tools in use at JPL and elsewhere use attribute-based …

Space mission planning/scheduling is determining the set of spacecraft activities to meet
mission objectives while respecting mission constraints. One important category of mission …

The concept of local consistency–making global deductions from local infeasibility–is central
to constraint programming. When reasoning about NP-complete constraints, however, since …

This chapter presents an introduction to combinatorial optimisation in the context of the high-
level modelling platform, Numberjack. The process of developing an effective model for a …

This dissertation presents a number of contributions to the field of solver portfolios, in
particular for combinatorial search problems. We propose a novel hierarchical portfolio …

Upcoming active space debris removal missions will most likely attempt to remove several
objects per mission. The design of such missions involves the selection of the objects to be …

For many years, satellites have been used to explore, analyse and monitor Earth from
space. Nowadays, low-earth orbiting satellites are taking a steadily increasing number of …

Rosetta is an ESA cornerstone mission that will reach the comet 67P/Churyumov-
Gerasimenko in August 2014 and will escort the comet for a 1.5 year nominal mission …