Synthesis of optimal networks with NOR and NAND gates by integer programming | lit.salon