这是关于约束满足问题的论文,有具体的算法很分析