【预订】Theory and Applications of Satisfiability Testing – SAT 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540797180 Author 作者 Hans Kleine Büning Universit?t Paderborn Inst. Informatik Format 版本 平装-胶订 Pages Number 页数 305页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2008-04-25 Shipping Weight 商品重量 498g Language 语种 英语 Book Contents 内容简介 This volume contains the papers presented at the 11th International Conference on Theory and Applications of Satisability Testing (SAT 2008). The series of International Conferences on Theory and Applications of S- is?ability Testing (SAT) has evolved from a ?rst workshop on SAT in 1996 to an annual international conference which is a platform for researchers studying various aspects of the propositional satis?ability problem and its applications. In the past, the SAT conference venue alternated between Europe and North America. For the ?rst time, the conference venue was in
¥608.00
