【预订】Satisfiability Problem 9780821804797 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9780821804797 Author 作者 Dingzhu Du Format 版本 精装 Pages Number 页数 724页 Publisher 出版社 American Mathematical Society (AMS) Publication Date 出版日期 1997-12-09 Language 语种 英语 Book Contents 内容简介 The satisfiability (SAT) problem is central in mathematical logic, computing theory, and many industrial applications. There has been a strong relationship between the theory, the algorithms, and the applications of the SAT problem. This book aims to bring together work by the best theorists, algorithmists, and practitioners working on the SAT problem and on industrial applications, as well as to enhance the interaction between the three research groups. The book features the application of theoretical/algorithmic results to practical problems and presents practical problems for theoretical/algorithmic study. Major topics covered in the book include pr

¥2416

中国进口图书旗舰店

Dingzhu Du /1997-12-09 /American Mathematical Society (AMS)

3-6周达 Theoretical Computer Science [ISBN:9789811068928] 【全球购】进口原版图书，一般3-6周左右到国内后发出

¥507.00

书之源外文图书

2017-10-15 /Springer Nature Singapore

预订 高被引STEINER TREE PROBLEMS IN COMPUTER COMMUNICATION NETWOR 【全球购】进口原版图书，一般5-8周左右到国内

¥1093

书之源外文图书

2008-02-25 /WSPC

3-6周达 Computing and Combinatorics [ISBN:9783319213972] 【全球购】进口原版图书，一般3-6周左右到国内后发出

¥507.00

书之源外文图书

2015-07-14 /Springer International Publishing

【预订】Steiner Tree Problems in Computer Communication Networks 美国库房发货，通常付款后3-5周到货！

¥1456

中国进口图书旗舰店

Du Dingzhu et al /2008-02-25 /WORLD SCIENTIFIC PUBLISHING

Convergence Theory of Feasible Direction Methods

¥44.00

Dingzhu Du 编 /科学出版社