RexBDDs: Reduction-on-Edge Complement-and-Swap Binary Decision Diagrams. - Gianfranco Ciardo; Andrew S. Miner; Lichuan Deng; Junaid Babar (DAC, 2024)