Randomized OBDDs for the Most Significant Bit of Multiplication Need Exponential Size.

Beate Bollig Marc Gillé

Published in: SOFSEM (2011)

Keyphrases

exponential size
significant bit
polynomial size
boolean functions
subband
model checking
bitstream
temporal logic
machine learning
wavelet transform
uniform distribution