Influence of Variables Encoding and Symmetry Breaking on the Performance of Optimization Modulo Theories Tools Applied to Cloud Resource Selection.

Madalina Erascu, Flavia Micota, Daniela Zaharie

Browse the full LPAR paper archive.