SatisfiabilityInternational9783540278290Applications¥5760去看看澜瑞图书专营店发布了【4周达】Theory and Applications of Satisfiability Testing: 7th International Conference, SAT 2004, V... [9783540278290]