Factorizing equivalent variable pairs in ROBDD-based implementations of Pos (1999)

by Roberto Bagnara , Peter Schachte
Venue:PROCEEDINGS OF THE “SEVENTH INTERNATIONAL CONFERENCE ON ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY (AMAST’98)”, VOLUME 1548 OF LECTURE NOTES IN COMPUTER SCIENCE
Citations:20 - 6 self