DMCA

STEREO: a SaT-based tool for an optimal solution of the sERvice selEctiOn problem

by Daniel Izquierdo , María-esther Vidal , Blai Bonet