Yeting Ge, Leonardo Mendonça de Moura
Complete Instantiation for Quantified Formulas in Satisfiabiliby Modulo Theories
CAV, 2009.
@inproceedings{CAV-2009-GeM, author = "Yeting Ge and Leonardo Mendonça de Moura", booktitle = "{Proceedings of the 21st International Conference on Computer Aided Verification}", doi = "10.1007/978-3-642-02658-4_25", isbn = "978-3-642-02657-7", pages = "306--320", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Complete Instantiation for Quantified Formulas in Satisfiabiliby Modulo Theories}", volume = 5643, year = 2009, }