Solving Bit-Vector Equations.

M. Oliver Mller, Harald Rue

Browse the full FMCAD paper archive.