Fast discrete function evaluation using decision diagrams.

Patrick C. McGeer, Kenneth L. McMillan, Alexander Saldanha, Alberto L. Sangiovanni-Vincentelli, Patrick Scaglia

Browse the full ICCAD paper archive.