SatisfiabilityInternational9783642390708Applications¥5760去看看澜瑞图书专营店发布了【4周达】Theory and Applications of Satisfiability Testing - SAT 2013 : 16th International Conference... [9783642390708]