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

Madalina ErascuFlavia MicotaDaniela Zaharie
Published in: LPAR (Workshop and Short Papers) (2018)