Counterexample guided quantifier instantiation for synthesis of SMT

Andrew Reynolds, Morgan Deters, Viktor Kuncak, Clark Barrett, Cesare Tinelli

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish (US)
Title of host publicationProceedings of the 27th International Conference on Computer Aided Verification (CAV '15), July 2015, San Francisco CA
StateAccepted/In press - 2015

Publication series

NameLecture Notes in Computer Science

Cite this