Exploring multi-valued minimization using binary methods (2003)

by A Mishchenko, R Brayton, T Sasao
Venue:in International Workshop on Logic and Synthesis