SatisfiabilityInternational9783540208518Applications¥5760去看看澜瑞图书专营店发布了【4周达】Theory and Applications of Satisfiability Testing: 6th International Conference, Sat 2003. S... [9783540208518]