Recursive Boolean Formula Minimization Algorithms for Implication Logic

Predrag Teodorovic, Stanisa Dautovic, Veljko Malbasa. Recursive Boolean Formula Minimization Algorithms for Implication Logic. IEEE Trans. on CAD of Integrated Circuits and Systems, 32(11):1829-1833, 2013. [doi]

Abstract

Abstract is missing.