Travelled to:
1 × USA
Collaborated with:
N.Kageyama C.Miura
Talks about:
algorithm (1) approach (1) program (1) linear (1) optim (1) logic (1)
Person: Tsuguo Shimizu
DBLP: Shimizu:Tsuguo
Contributed to:
Wrote 1 papers:
- DAC-1990-KageyamaMS #algorithm #approach #linear #logic #optimisation #programming
- Logic Optimization Algorithm by Linear Programming Approach (NK, CM, TS), pp. 345–348.