Implicit prime compatible generation for minimizing incompletely specified finite state machines.

Hiroyuki Higuchi, Yusuke Matsunaga

Browse the full ASPDAC paper archive.