Refutation-based synthesis in SMT

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
}