Anna Bernasconi, Valentina Ciriani, Gabriella Trucco. Biconditional-BDD Ordering for Autosymmetric Functions. In 2015 Euromicro Conference on Digital System Design, DSD 2015, Madeira, Portugal, August 26-28, 2015. pages 211-217, IEEE Computer Society, 2015. [doi]
Abstract is missing.