<?xml version="1.0" encoding="US-ASCII"?>
<dblp>
<article key="journals/tc/Keren08" mdate="2017-05-20">
<author>Osnat Keren</author>
<title>Reduction of Average Path Length in Binary Decision Diagrams by Spectral Methods.</title>
<pages>520-531</pages>
<year>2008</year>
<volume>57</volume>
<journal>IEEE Trans. Computers</journal>
<number>4</number>
<ee>https://doi.org/10.1109/TC.2007.70811</ee>
<ee>http://doi.ieeecomputersociety.org/10.1109/TC.2007.70811</ee>
<url>db/journals/tc/tc57.html#Keren08</url>
</article></dblp>
