Bounds on the OBDD-size of integer multiplication via universal hashing.

Philipp Woelfel

Published in: J. Comput. Syst. Sci. (2005)

Keyphrases

floating point
upper bound
boolean functions
deterministic finite automaton
worst case
model checking
memory requirements
vc dimension
order preserving
file organization
integer arithmetic