iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/conf/isaac/HoriyamaY97.xml
Takashi Horiyama Shuzo Yajima Exponential Lower Bounds on the Size of OBDDs Representing Integer Divistion. 163-172 1997 conf/isaac/1997 ISAAC db/conf/isaac/isaac97.html#HoriyamaY97 https://doi.org/10.1007/3-540-63890-3_19