基于约束可满足的深空探测器任务规划方法

基于约束可满足的深空探测器任务规划方法摘要：深空探测任务规划是指在深空探测过程中，根据任务目标和威胁、环境等因素制定探测任务的一种方法。在现实应用中，深空探测任务规划面临着许多挑战，如资源约束、飞