BDD-based two variable sharing extraction.

Dennis Wu, Jianwen Zhu

Browse the full ASPDAC paper archive.