%0 Journal Article %1 journals/jar/AbateBBDKKPRT23 %A Abate, Alessandro %A Barbosa, Haniel %A Barrett, Clark W. %A David, Cristina %A Kesseli, Pascal %A Kroening, Daniel %A Polgreen, Elizabeth %A Reynolds, Andrew %A Tinelli, Cesare %D 2023 %J J. Autom. Reason. %K dblp %N 2 %P 19 %T Synthesising Programs with Non-trivial Constants. %U http://dblp.uni-trier.de/db/journals/jar/jar67.html#AbateBBDKKPRT23 %V 67

@article{journals/jar/AbateBBDKKPRT23, added-at = {2023-09-12T00:00:00.000+0200}, author = {Abate, Alessandro and Barbosa, Haniel and Barrett, Clark W. and David, Cristina and Kesseli, Pascal and Kroening, Daniel and Polgreen, Elizabeth and Reynolds, Andrew and Tinelli, Cesare}, biburl = {https://www.bibsonomy.org/bibtex/2522ce5e851f3154529586f0cfde4a58f/dblp}, ee = {https://doi.org/10.1007/s10817-023-09664-4}, interhash = {ad02508f2eb5f370ed5be15e9347eafe}, intrahash = {522ce5e851f3154529586f0cfde4a58f}, journal = {J. Autom. Reason.}, keywords = {dblp}, month = {June}, number = 2, pages = 19, timestamp = {2024-04-09T05:03:07.000+0200}, title = {Synthesising Programs with Non-trivial Constants.}, url = {http://dblp.uni-trier.de/db/journals/jar/jar67.html#AbateBBDKKPRT23}, volume = 67, year = 2023 }