基于序列的子问题相容性技术 (Singleton Sub-problem Arc Consistency Based on Order). - Dequan Chen; Yonggang Zhang; Ying Xin; Wenzhuang Liu (计算机科学, 2015)