%0 Conference Paper %1 conf/cade/Reynolds16 %A Reynolds, Andrew %B Vampire@IJCAR %D 2016 %E Kovács, Laura %E Voronkov, Andrei %I EasyChair %K dblp %P 1-15 %T Conflicts, Models and Heuristics for Quantifier Instantiation in SMT. %U http://dblp.uni-trier.de/db/conf/cade/vampire2016.html#Reynolds16 %V 44

@inproceedings{conf/cade/Reynolds16, added-at = {2021-08-15T00:00:00.000+0200}, author = {Reynolds, Andrew}, biburl = {https://www.bibsonomy.org/bibtex/2dec0ffa047d464cd206dfd10dd69b00f/dblp}, booktitle = {Vampire@IJCAR}, crossref = {conf/cade/2016vampire}, editor = {Kovács, Laura and Voronkov, Andrei}, ee = {https://doi.org/10.29007/jmd3}, interhash = {39b509c9f1d152e1c30c1c61d1c75a9f}, intrahash = {dec0ffa047d464cd206dfd10dd69b00f}, keywords = {dblp}, pages = {1-15}, publisher = {EasyChair}, series = {EPiC Series in Computing}, timestamp = {2024-04-09T18:55:24.000+0200}, title = {Conflicts, Models and Heuristics for Quantifier Instantiation in SMT.}, url = {http://dblp.uni-trier.de/db/conf/cade/vampire2016.html#Reynolds16}, volume = 44, year = 2016 }