SatisfiabilityInternational9783540262763Applications¥5760去看看澜瑞图书专营店发布了【4周达】Theory and Applications of Satisfiability Testing : 8th International Conference, SAT 2005, ... [9783540262763]