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]
@inproceedings{IzquierdoVB10a, title = {STEREO: a SaT-based tool for an optimal solution of the sERvice selEctiOn problem}, author = {Daniel Izquierdo and Maria-Esther Vidal and Blai Bonet}, year = {2010}, url = {http://ceur-ws.org/Vol-658/paper524.pdf}, researchr = {https://researchr.org/publication/IzquierdoVB10a}, cites = {0}, citedby = {0}, booktitle = {Proceedings of the ISWC 2010 Posters & Demonstrations Track: Collected Abstracts, Shanghai, China, November 9, 2010}, editor = {Axel Polleres and Huajun Chen}, volume = {658}, series = {CEUR Workshop Proceedings}, publisher = {CEUR-WS.org}, }