A Maximum Clique Derivation Algorithm for Simplification of Incompletely Specified Machines

Masaki Hashizume, Takeomi Tamesada, Akio Sakamoto. A Maximum Clique Derivation Algorithm for Simplification of Incompletely Specified Machines. In ISCAS. pages 193-196, 1994.

Abstract

Abstract is missing.