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