Preface. Part I: From Symbolic to Logic Representations. 1. Introduction. 2. Definitions. 3. Complexity Issues. 4. Encoding for Synthesis. Part II: Constrained Encoding. 5. Symbolic Minimization. 6. Encoding Constraints. Part III: Generalized Prime Implicants. 7. Generalized Prime Implicants. 8. Minimization of GPIS. 9. Encodeability of GPIS. Part IV: Implicit Techniques for Encoding. 10. Implicit Formulation of Unate Covering. 11. Implicit Minimization of GPIS. Part V: Conclusions. 12. Conclusions. References. Index.
"synopsis" may belong to another edition of this title.
(No Available Copies)
Search Books: Create a WantCan't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!
Create a Want