Title: A study of the effect of additional inequalities in integer programming for logical design
Subjects: Data processing, Inequalities (Mathematics), Integer programming, Switching theory