Speeding up Quantified Bit-Vector SMT Solvers by Bit-Width Reductions and Extensions.

Martin Jons, Jan Strejcek

Browse the full SAT paper archive.