Techniques for Smaller Intermediary BDDs | Publicación