Using Constraint Logic Programming to Schedule Solar Array Operations on the International Space Station.

Jan Jelnek, Roman Bartk

Browse the full PADL paper archive.