A. 对于任何类型的变量都可以通过枚举的方式展现所有变量赋值情况

B. 一元约束仅涉及一个变量

C. 变量赋值往往伴随与倾向性相关的评价

D. 交通排班可以构建成一个约束满足问题