%0 Conference Paper %1 conf/cav/GeM09 %A Ge, Yeting %A de Moura, Leonardo Mendonça %B CAV %D 2009 %E Bouajjani, Ahmed %E Maler, Oded %I Springer %K dblp %P 306-320 %T Complete Instantiation for Quantified Formulas in Satisfiabiliby Modulo Theories. %U http://dblp.uni-trier.de/db/conf/cav/cav2009.html#GeM09 %V 5643 %@ 978-3-642-02657-7

@inproceedings{conf/cav/GeM09, added-at = {2018-10-03T00:00:00.000+0200}, author = {Ge, Yeting and de Moura, Leonardo Mendonça}, biburl = {https://www.bibsonomy.org/bibtex/289e2a961ad434452bfc02dc8a238dd51/dblp}, booktitle = {CAV}, crossref = {conf/cav/2009}, editor = {Bouajjani, Ahmed and Maler, Oded}, ee = {https://doi.org/10.1007/978-3-642-02658-4_25}, interhash = {24c3f1859fb49e7c1c44c22fe7b1b78c}, intrahash = {89e2a961ad434452bfc02dc8a238dd51}, isbn = {978-3-642-02657-7}, keywords = {dblp}, pages = {306-320}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:38:06.000+0200}, title = {Complete Instantiation for Quantified Formulas in Satisfiabiliby Modulo Theories.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2009.html#GeM09}, volume = 5643, year = 2009 }