Theory and Applications of Satisfiability Testing – SAT 2008
Language: en
Pages: 315
Authors: Hans Kleine Büning
Categories: Mathematics
Type: BOOK - Published: 2008-05-07 - Publisher: Springer

GET EBOOK

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
Theory and Applications of Satisfiability Testing – SAT 2008
Language: en
Pages: 315
Authors: Hans Kleine Büning
Categories: Mathematics
Type: BOOK - Published: 2008-04-25 - Publisher: Springer Science & Business Media

GET EBOOK

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
Theory and Applications of Satisfiability Testing--SAT 2008
Language: en
Pages: 0
Authors:
Categories: Algebra, Boolean
Type: BOOK - Published: 2008 - Publisher:

GET EBOOK

This book constitutes the refereed proceedings of the 11th International Conference on Theory and Applications of Satisfiability Testing, SAT 2008, held in Guan
Theory and Applications of Satisfiability Testing - SAT 2010
Language: en
Pages: 411
Authors: Ofer Strichman
Categories: Computers
Type: BOOK - Published: 2010-06-30 - Publisher: Springer Science & Business Media

GET EBOOK

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
Theory and Applications of Satisfiability Testing - SAT 2009
Language: en
Pages: 551
Authors: Oliver Kullmann
Categories: Computers
Type: BOOK - Published: 2009-06-19 - Publisher: Springer Science & Business Media

GET EBOOK

This book constitutes the refereed proceedings of the 12th International Conference on Theory and Applications of Satisfiability Testing, SAT 2009, held in Swan