Abstraction of Bit-Vector Operations for BDD-Based SMT Solvers.

Martin Jons, Jan Strejcek

Browse the full ICTAC paper archive.