Related Books
Language: en
Pages: 315
Pages: 315
Type: BOOK - Published: 2008-05-07 - Publisher: Springer
This volume contains the papers presented at the 11th International Conference on Theory and Applications of Satis?ability Testing (SAT 2008). The series of Int
Language: en
Pages: 315
Pages: 315
Type: BOOK - Published: 2008-04-25 - Publisher: Springer Science & Business Media
This volume contains the papers presented at the 11th International Conference on Theory and Applications of Satis?ability Testing (SAT 2008). The series of Int
Language: en
Pages: 0
Pages: 0
Type: BOOK - Published: 2008 - Publisher:
This book constitutes the refereed proceedings of the 11th International Conference on Theory and Applications of Satisfiability Testing, SAT 2008, held in Guan
Language: en
Pages: 411
Pages: 411
Type: BOOK - Published: 2010-06-30 - Publisher: Springer Science & Business Media
The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic fo
Language: en
Pages: 551
Pages: 551
Type: BOOK - Published: 2009-06-19 - Publisher: Springer Science & Business Media
This book constitutes the refereed proceedings of the 12th International Conference on Theory and Applications of Satisfiability Testing, SAT 2009, held in Swan