language: en

[Appears in Working Notes of the NASA Workshop on Planning and Scheduling for Space Oxnard, CA, October 1997]

CIRCA and the Cassini Saturn Orbit Insertion: Solving a Prepositioning Problem

David J. Musliner and Robert P. Goldman
Automated Reasoning Group Honeywell Technology Center
3660 Technology Drive Minneapolis, MN 55418
{musliner,goldman}@htc.honeywell.com

Introduction