%0 Journal Article %1 journals/fmsd/ReynoldsKTBD19 %A Reynolds, Andrew %A Kuncak, Viktor %A Tinelli, Cesare %A Barrett, Clark W. %A Deters, Morgan %D 2019 %J Formal Methods Syst. Des. %K dblp %N 2 %P 73-102 %T Refutation-based synthesis in SMT. %U http://dblp.uni-trier.de/db/journals/fmsd/fmsd55.html#ReynoldsKTBD19 %V 55

@article{journals/fmsd/ReynoldsKTBD19, added-at = {2022-07-25T00:00:00.000+0200}, author = {Reynolds, Andrew and Kuncak, Viktor and Tinelli, Cesare and Barrett, Clark W. and Deters, Morgan}, biburl = {https://www.bibsonomy.org/bibtex/212232d51debd83cd15264062b714b679/dblp}, ee = {https://doi.org/10.1007/s10703-017-0270-2}, interhash = {a66e9a95fe111c7e4e9b5ee3f3fa1cc4}, intrahash = {12232d51debd83cd15264062b714b679}, journal = {Formal Methods Syst. Des.}, keywords = {dblp}, number = 2, pages = {73-102}, timestamp = {2024-04-08T17:15:08.000+0200}, title = {Refutation-based synthesis in SMT.}, url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd55.html#ReynoldsKTBD19}, volume = 55, year = 2019 }