Satisfiability9783319373645SatisfactionConstraint¥5370去看看澜瑞图书专营店发布了【4周达】Bridging Constraint Satisfaction and Boolean Satisfiability [9783319373645]