On the representational power of bit-level and word-level decision diagrams.

Bernd Becker, Rolf Drechsler, Reinhard Enders

Browse the full ASPDAC paper archive.