"The multiple variable order problem for binary decision diagrams: theory ..."

Christoph Scholl, Bernd Becker, Andreas Brogle (2001)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics