<?xml version="1.0"?>
<dblp>
<article key="journals/tcad/SchollMMD99" mdate="2006-05-23">
<author>Christoph Scholl</author>
<author>Dirk M&#246;ller</author>
<author>Paul Molitor</author>
<author>Rolf Drechsler</author>
<title>BDD minimization using symmetries.</title>
<pages>81-100</pages>
<year>1999</year>
<volume>18</volume>
<journal>IEEE Trans. on CAD of Integrated Circuits and Systems</journal>
<number>2</number>
<ee>http://doi.ieeecomputersociety.org/10.1109/43.743706</ee>
<url>db/journals/tcad/tcad18.html#SchollMMD99</url>
</article>
</dblp>
