Daniel Izquierdo, Maria-Esther Vidal, Blai Bonet. STEREO: a SaT-based tool for an optimal solution of the sERvice selEctiOn problem. In Axel Polleres, Huajun Chen, editors, Proceedings of the ISWC 2010 Posters & Demonstrations Track: Collected Abstracts, Shanghai, China, November 9, 2010. Volume 658 of CEUR Workshop Proceedings, CEUR-WS.org, 2010. [doi]
Abstract is missing.