BEATNP: a tool for partitioning Boolean networks.

Hyunwoo Cho, Gary D. Hachtel, M. Nash, L. Setiono

Browse the full ICCAD paper archive.