brjxjy-每个变量的域是{u,v,w},且“!=”表示不等于,从如下表达式中选择那个是CSP形式化的2元约束()?

['A(A,B,C,D)', 'B<(A),A=v>', 'C(A,D)', 'DA+B=C']


配图

📖 相关文章