Manipulation Algorithms for K*BMDs.

Rolf Drechsler, Bernd Becker, Stefan Ruppertz

Browse the full TACAS paper archive.