Jon T. Butler

• Progress in applications of Boolean functions
• Applications of Zero Supressed Decision
• Applications of Zero-Suppressed Decision Diagrams
• Multiple-valued logic in VLSI design