题目内容：
Which of the following approaches are used for classical planning?下列方法中哪些可用于经典规划？
A.Boolean satisfiability布尔可满足性
B.constraint satisfaction约束满足
C.first-order logical deduction一阶逻辑推理
D.planning graph规划图
E.plan refinement规划精进
F.state-space search状态空间搜索
参考答案：