On the Existence of Polynomial Time Approximation Schemes for OBDD Minimization (Extended Abstract).

Detlef Sieling

Browse the full STACS paper archive.