RexBDDs: Reduction-on-Edge Complement-and-Swap Binary Decision Diagrams.

Gianfranco Ciardo, Andrew S. Miner, Lichuan Deng, Junaid Babar

Browse the full DAC paper archive.