[单选题]约束满足问题中的目标形式化是：GDd答案窝(daanwo.com)-大学生作业答案及考资分享平台
A给定具体的目标状态GDd答案窝(daanwo.com)-大学生作业答案及考资分享平台
B给出目标的要求GDd答案窝(daanwo.com)-大学生作业答案及考资分享平台
C给出目标状态的集合GDd答案窝(daanwo.com)-大学生作业答案及考资分享平台
D给出符合目标状态要求的状态变量约束集