Madalina Erascu, Flavia Micota, Daniela Zaharie. Influence of Variables Encoding and Symmetry Breaking on the Performance of Optimization Modulo Theories Tools Applied to Cloud Resource Selection. In Gilles Barthe, Konstantin Korovin, Stephan Schulz 0001, Martin Suda 0001, Geoff Sutcliffe, Margus Veanes, editors, LPAR-22 Workshop and Short Paper Proceedings, Awassa, Ethiopia, 16-21 November 2018. Volume 9 of Kalpa Publications in Computing, pages 1-14, EasyChair, 2018. [doi]
@inproceedings{ErascuMZ18,
title = {Influence of Variables Encoding and Symmetry Breaking on the Performance of Optimization Modulo Theories Tools Applied to Cloud Resource Selection},
author = {Madalina Erascu and Flavia Micota and Daniela Zaharie},
year = {2018},
doi = {10.29007/zwdh},
url = {https://doi.org/10.29007/zwdh},
researchr = {https://researchr.org/publication/ErascuMZ18},
cites = {0},
citedby = {0},
pages = {1-14},
booktitle = {LPAR-22 Workshop and Short Paper Proceedings, Awassa, Ethiopia, 16-21 November 2018},
editor = {Gilles Barthe and Konstantin Korovin and Stephan Schulz 0001 and Martin Suda 0001 and Geoff Sutcliffe and Margus Veanes},
volume = {9},
series = {Kalpa Publications in Computing},
publisher = {EasyChair},
}