Title: Synthesis of optimal double-rail logic networks using NOR-OR gates by integer programming
Subjects: Integer programming, Switching theory