研究了求解约束满足问题（Constraint satisfaction problem，CSP）中的预处理技术．首先提出了子论域上的完全独立相容性（Entirety singlet......