Andrew Reynolds. Conflicts, Models and Heuristics for Quantifier Instantiation in SMT. In Laura Kovács, Andrei Voronkov, editors, Vampire@IJCAR 2016. Proceedings of the 3rd Vampire Workshop, Coimbra, Portugal, July 2, 2016. Volume 44 of EPiC Series in Computing, pages 1-15, EasyChair, 2016. [doi]
@inproceedings{Reynolds16-4,
title = {Conflicts, Models and Heuristics for Quantifier Instantiation in SMT},
author = {Andrew Reynolds},
year = {2016},
url = {http://www.easychair.org/publications/paper/Conflicts-_Models_and_Heuristics_for_Quantifier_Instantiation_in_SMT},
researchr = {https://researchr.org/publication/Reynolds16-4},
cites = {0},
citedby = {0},
pages = {1-15},
booktitle = {Vampire@IJCAR 2016. Proceedings of the 3rd Vampire Workshop, Coimbra, Portugal, July 2, 2016},
editor = {Laura Kovács and Andrei Voronkov},
volume = {44},
series = {EPiC Series in Computing},
publisher = {EasyChair},
}