Author:Flavia Micota

Publications
Influence of Variables Encoding and Symmetry Breaking on the Performance of Optimization Modulo Theories Tools Applied to Cloud Resource Selection Madalina Erascu, Flavia Micota and Daniela Zaharie In:LPAR-22 Workshop and Short Paper Proceedings