Theory and Applications of Satisfiability Testing - SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings - Lecture Notes in Computer Science - Hans Kleine B Ning - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540797180 - April 25, 2008
In case cover and title do not match, the title is correct

Hans Kleine B Ning
Theory and Applications of Satisfiability Testing - SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings - Lecture Notes in Computer Science 2008 edition

Price
$ 54.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 16 - 22

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

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.

324 pages, black & white illustrations

Media Books     Paperback Book   (Book with soft cover and glued back)
Released April 25, 2008
ISBN13 9783540797180
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 305
Dimensions 155 × 235 × 17 mm   ·   476 g
Language French  
Editor Kleine Buning, Hans
Editor Zhao, Xishun

Mere med samme udgiver

See all of Hans Kleine B Ning ( e.g. Paperback Book )