.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Theory and Applications of Satisfiability Testing - SAT 2008
Xishun . Ed(S): Zhao
€ 67.25
FREE Delivery in Ireland
Description for Theory and Applications of Satisfiability Testing - SAT 2008
Paperback. Editor(s): Zhao, Xishun. Series: Lecture Notes in Computer Science. Num Pages: 315 pages, biography. BIC Classification: PBCD. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 17. Weight in Grams: 498.
This volume contains the papers presented at the 11th International Conference on Theory and Applications of Satis?ability 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 Asia, more precisely at the Zhudao Guest House, near Sun Yat-Sen University ... Read more
This volume contains the papers presented at the 11th International Conference on Theory and Applications of Satis?ability 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 Asia, more precisely at the Zhudao Guest House, near Sun Yat-Sen University ... Read more
Product Details
Format
Paperback
Publication date
2008
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
315
Condition
New
Series
Lecture Notes in Computer Science
Number of Pages
305
Place of Publication
Berlin, Germany
ISBN
9783540797180
SKU
V9783540797180
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Theory and Applications of Satisfiability Testing - SAT 2008