sur 12
Advanced BDD Optimization — Rolf Drechsler, Rudiger Ebendt, Görschwin Fey