80 元券Satisfiability9783838303277OptimizationSearching¥13730去看看上海外文图书音像专营店发布了按需印刷Searching for Optimization through Satisfiability[9783838303277]25 元券Satisfiability9783838303277OptimizationSearching¥11720去看看澜瑞图书专营店发布了【4周达】Searching for Optimization through Satisfiability [9783838303277]