Heuristic Minimization of Synchronous Relations.

Vigyan Singhal, Yosinori Watanabe, Robert K. Brayton

Browse the full ICCD paper archive.