list | abstracts | bib ]

Counterexample Guided Quantifier Instantiation for Synthesis in SMT

paper pdf   

Citation

Andrew Reynolds, Morgan Deters, Viktor Kuncak, Cesare Tinelli, and Clark Barrett. Counterexample guided quantifier instantiation for synthesis in SMT. In Computer-Aided Verification (CAV), 2015.

BibTex Entry

@INPROCEEDINGS{ReynoldsETAL15CegisSMT,
  author = {Andrew Reynolds and Morgan Deters and 
Viktor Kuncak and Cesare Tinelli and Clark Barrett},
  title = {Counterexample Guided Quantifier Instantiation for Synthesis in {SMT}},
  booktitle = {Computer-Aided Verification (CAV)},
  year = 2015,
  localurl = {http://lara.epfl.ch/~kuncak/papers/ReynoldsETAL15CegisSMT.pdf}
}

list | abstracts | bib ]