BDD-Based Formula Approximations for Quantified Bit-Vector Satisfiability.

Jakub Hork, Martin Jons

Browse the full TACAS paper archive.