Algorithms and Data Structures for Logic Synthesis and Verification Using Boolean Satisfiability
Author | : Kevin W. DeRonne |
Publisher | : |
Total Pages | : 103 |
Release | : 2013 |
ISBN-10 | : OCLC:842879408 |
ISBN-13 | : |
Rating | : 4/5 ( Downloads) |
Book Synopsis Algorithms and Data Structures for Logic Synthesis and Verification Using Boolean Satisfiability by : Kevin W. DeRonne
Download or read book Algorithms and Data Structures for Logic Synthesis and Verification Using Boolean Satisfiability written by Kevin W. DeRonne and published by . This book was released on 2013 with total page 103 pages. Available in PDF, EPUB and Kindle. Book excerpt: