The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.05 - May (1993 vol.42)
pp: 568-576
ABSTRACT
<p>Conditions for generating optimal two-level AND-EXOR representations using rewrite rules are considered. Four results are presented. First, it is shown that a necessary condition for obtaining minimality is a temporary increase in the size of expressions during minimization. Second, a sufficient condition for obtaining minimality that consists of adding certain two rules to rule sets proposed in the literature is given. Third, transformations that allow the minimization of an expression to proceed by minimizing a transformed expression instead are defined. Fourth, it is determined experimentally that the above three theoretical results lead to better benchmarks results as well.</p>
INDEX TERMS
rewrite rules; optimal two-level AND-EXOR representations; minimality; minimization; rule sets; transformed expression; theoretical results; minimisation; rewriting systems.
CITATION
D. Brand, T. Sasao, "Minimization of AND-EXOR Expressions Using Rewrite Rules", IEEE Transactions on Computers, vol.42, no. 5, pp. 568-576, May 1993, doi:10.1109/12.223676
19 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool