list | abstracts | bib ]

Refutation-based synthesis in SMT

paper pdf   

Citation

Andrew Reynolds, Viktor Kuncak, Cesare Tinelli, Clark Barrett, and Morgan Deters. Refutation-based synthesis in SMT. Formal Methods in System Design (FMSD), 2017.

BibTex Entry

@ARTICLE{ReynoldsETAL17RefutationSMT,
  author = {Andrew Reynolds and Viktor Kuncak and Cesare Tinelli and Clark Barrett and Morgan Deters},
  title = {Refutation-based synthesis in {SMT}},
  journal = {Formal Methods in System Design (FMSD)},
  year = 2017,
  localurl = {http://lara.epfl.ch/~kuncak/papers/ReynoldsETAL17RefutationSMT.pdf}
}

list | abstracts | bib ]