Constructive multi-level synthesis by way of functional properties

A new enhanced constructive decomposition and mapping algorithm

Proceedings of the 40th annual Design Automation Conference

Implicit enumeration of structural changes in circuit optimization

Proceedings of the 41st annual Design Automation Conference

Detecting support-reducing bound sets using two-cofactor symmetries

Proceedings of the 2005 Asia and South Pacific Design Automation Conference

Post-placement rewiring and rebuffering by exhaustive search for functional symmetries

ICCAD '05 Proceedings of the 2005 IEEE/ACM International conference on Computer-aided design

Symmetry detection for large Boolean functions using circuit representation, simulation, and satisfiability

Proceedings of the 43rd annual Design Automation Conference

Boolean factoring and decomposition of logic networks

Proceedings of the 2008 IEEE/ACM International Conference on Computer-Aided Design