Exponential Lower Bounds on the Size of OBDDs Representing Integer Divistion.

Takashi Horiyama, Shuzo Yajima

Browse the full ISAAC paper archive.