Robert Brummayer Armin Biere Effective Bit-Width and Under-Approximation. 304-311 2009 EUROCAST http://dx.doi.org/10.1007/978-3-642-04772-5_40 conf/eurocast/2009 db/conf/eurocast/eurocast2009.html#BrummayerB09