[ 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 ]