Bit-Vector Interpolation and Quantifier Elimination by Lazy Reduction.

Peter Backeman, Philipp Rmmer, Aleksandar Zeljic

Browse the full FMCAD paper archive.