Keith R. Hohulin

• A code for designing optimal networks by implicit enumeration using the all-interconnection inequality formulation
• Alternative methods for solving the CC-table in Gimpel's algorithm for synthesizing optimal three level NAND networks
• Network transduction programs based on connectable and disconnectable conditions with fan-in and fan-out restrictions