| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Advanced Techniques in Logic Synthesis, Optimizations and Applications | 978-1-4419-7517-1 (1-4419-7517-9) | 2010 | Alan Mishchenko · Smita Krishnasamy · Nilesh Modi · Robert Brayton · Ruchir Puri |