Minimazation of Binary Decision Diagrams Based on Exchanges of Variables.

Nagisa Ishiura, Hiroshi Sawada, Shuzo Yajima

Browse the full ICCAD paper archive.