Theory and Applications of Satisfiability Testing - Sat 2007: 10th International Conference,sat 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings - Lecture Notes in Computer Science / Theoretical Computer Science and General Issues - Joao Marques-silva - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540727873 - May 18, 2007
In case cover and title do not match, the title is correct

Joao Marques-silva
Theory and Applications of Satisfiability Testing - Sat 2007: 10th International Conference,sat 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings - Lecture Notes in Computer Science / Theoretical Computer Science and General Issues

Price
$ 65.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 9 - 21

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

Constitutes refereed proceedings of the 10th International Conference on Theory and Applications of Satisfiability Testing, SAT 2007, held in Lisbon, Portugal in May 2007. This book covers research issues in propositional and quantified Boolean formula satisfiability testing.

388 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released May 18, 2007
ISBN13 9783540727873
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 388
Dimensions 156 × 234 × 21 mm   ·   607 g

Mere med samme udgiver

See all of Joao Marques-silva ( e.g. Paperback Book )