Title: Towards scalable BDD-based logic synthesis
First published: 2005