Vol-657⫷ Vol-658 ⫸Vol-659
urn:nbn:de:0074-658-0


None⫷None⫸None

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