brjxjy-下列方法中哪些可用于经典规划()。

['A布尔可满足性', 'B一阶逻辑推理', 'C约束满足', 'D规划精进']


配图

📖 相关文章