TY - BOOK AU - Brayton R K TI - Logic minimization algorithms for VLSI synthesis U1 - 621.38173 PY - 1984/// CY - Boston PB - Kluwer Academic KW - Printed circuits ER -