A Maximum Clique Derivation Algorithm for Simplification of Incompletely Specified Machines.

Masaki Hashizume, Takeomi Tamesada, Akio Sakamoto

Browse the full ISCAS paper archive.