Tobiah E. Smith, Dorothy E. Setliff. Using simulated annealing to synthesize resource-bounded software. Automated Software Engineering, 1(2):155-176, 1994. [doi]
@article{SmithS94-0,
title = {Using simulated annealing to synthesize resource-bounded software},
author = {Tobiah E. Smith and Dorothy E. Setliff},
year = {1994},
doi = {10.1007/BF00872288},
url = {http://dx.doi.org/10.1007/BF00872288},
tags = {e-science},
researchr = {https://researchr.org/publication/SmithS94-0},
cites = {0},
citedby = {0},
journal = {Automated Software Engineering},
volume = {1},
number = {2},
pages = {155-176},
}