60 元券Satisfiability9783642316111Applications预订¥4600去看看中国国际图书专营店发布了【预订】Theory and Applications of Satisfiability Testing -- SAT 2012 9783642316111SatisfiabilityInternational9783642316111Applications¥5760去看看澜瑞图书专营店发布了【4周达】Theory and Applications of Satisfiability Testing -- SAT 2012 : 15th International Conferenc... [9783642316111]