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]
Abstract is missing.