计划覆盖

• 结构
• 可满足性
• 基数

原子清单