Binary control systems, Logic circuits -- Design and construction, Decomposition (Mathematics)
Encoding in Curtis-style decompositions is the process of assigning codes to groups of compatible columns (or cubes) so that the binary logic descriptions of the predecessor and successor sub-functions can be created for further decomposition. In doing so, the sub-functions created are functionally equivalent to the set of care values specified in the original function. In this paper an input/output encoding algorithm DC_ENC is presented that is designed to achieve the simplest total complexity of the predecessor and successor sub-functions, and to increase the total number of don't cares for their further utilization in subsequent decomposition steps of these sub-functions.
Michael Burns, Marek Perkowski, Lech Jozwiak, and Stanislaw Grygiel, "An Efficient and Effective Approach to Column-Based Input/Output Encoding in Functional Decomposition," Proceedings of 3rd International Workshop on Boolean Problems, pp. 19-29, September 17-18, 1998.