40 元券Satisfiability9783639147384ConstraintsDifference¥7100去看看上海外文图书音像专营店发布了按需印刷Satisfiability Checking with Difference Constraints[9783639147384]