학술논문
Efficiently solving quantified bit-vector formulas
Document Type
Article
Author
Source
In: Formal Methods in System Design , Special issue on Satisfiability Modulo Theory. (Formal Methods in System Design, February 2013, 42(1):3-23)
Subject
Language
English
ISSN
09259856