%0 Journal Article %1 journals/spe/CorreiaIM22 %A Correia, Alexandre R. S. %A Iyoda, Juliano Manabu %A Mota, Alexandre Cabral %D 2022 %J Softw. Pract. Exp. %K dblp %N 5 %P 1294-1304 %T The effect of distance metrics in a general purpose synthesizer: An empirical study on integer domain imperative programs. %U http://dblp.uni-trier.de/db/journals/spe/spe52.html#CorreiaIM22 %V 52

@article{journals/spe/CorreiaIM22, added-at = {2023-09-30T00:00:00.000+0200}, author = {Correia, Alexandre R. S. and Iyoda, Juliano Manabu and Mota, Alexandre Cabral}, biburl = {https://www.bibsonomy.org/bibtex/299dcac1c659ea30fd4dd8529c5b341e7/dblp}, ee = {https://doi.org/10.1002/spe.3054}, interhash = {01c5b4a285388a09d3e8f76e104c7545}, intrahash = {99dcac1c659ea30fd4dd8529c5b341e7}, journal = {Softw. Pract. Exp.}, keywords = {dblp}, number = 5, pages = {1294-1304}, timestamp = {2024-04-09T06:40:02.000+0200}, title = {The effect of distance metrics in a general purpose synthesizer: An empirical study on integer domain imperative programs.}, url = {http://dblp.uni-trier.de/db/journals/spe/spe52.html#CorreiaIM22}, volume = 52, year = 2022 }