Hiroaki Yoshida, Makoto Ikeda, Kunihiro Asada. Exact Minimum Logic Factoring via Quantified Boolean Satisfiability. In 13th IEEE International Conference on Electronics, Circuits, and Systems, ICECS 2006, Nice, France, December 10-13, 2006. pages 1065-1068, IEEE, 2006. [doi]
Abstract is missing.