Logic Optimization Algorithm by Linear Programming Approach. - Naohiro Kageyama; Chihei Miura; Tsuguo Shimizu (DAC, 1990)