Encoding of Boolean Functions and its Application to LUT Cascade Synthesis.
Alan Mishchenko, Tsutomu Sasao · 2002
The problem of encoding arises in several areas of logic synthesis. Due to the nature of this problem, it is often difficult to systematically explore the space of all feasible encodings in order to find an optimal one.