Satisfiability9783540372066InternationalApplications¥5760去看看澜瑞图书专营店发布了【4周达】Theory and Applications of Satisfiability Testing - SAT 2006 : 9th International Conference,... [9783540372066]