DMCA

FMSD manuscript No. (will be inserted by the editor) Efficiently Solving Quantified Bit-Vector Formulas

by Christoph M. Wintersteiger Youssef , Hamadi Leonardo De Moura , Christoph M. Wintersteiger