An Alternative to SAT-Based Approaches for Bit-Vectors. - Sébastien Bardin; Philippe Herrmann; Florian Perroud (TACAS, 2010)