Filter By
Books (1)
- Book
- Qty in Cart
- Quantity
- Price
- Subtotal
-
Advanced BDD Optimization by Rudiger Ebendt 9781441937964
RRP: £129.99Booksplease Price: £112.12VLSI CADhas greatly bene?ted from the use of reduced ordered Binary Decision Diagrams (BDDs) and the clausal representation as a problem of Boolean Satis?ability (SAT), e.g. in logic synthesis, ver-...