Theory and Applications of Satisfiability Testing - SAT 2006
Theory and Applications of Satisfiability Testing - SAT 2006 PDF book is popular Computers book written by Armin Biere. The book was released by Springer Science & Business Media on 2006-07-26 with total hardcover pages 448. Fast download link is given in this page, you could read Theory and Applications of Satisfiability Testing - SAT 2006 by Armin Biere in PDF, epub and kindle directly from your devices.
Theory and Applications of Satisfiability Testing - SAT 2006
-
Theory and Applications of Satisfiability Testing - SAT 2006 Book Detail
- Author : Armin Biere
- Release Date : 2006-07-26
- Publisher : Springer Science & Business Media
- Genre : Computers
- Pages : 448
- ISBN 13 : 3540372067
- File Size : 2,2 MB