{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T14:19:31Z","timestamp":1777645171377,"version":"3.51.4"},"reference-count":0,"publisher":"SAGE Publications","issue":"4","license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/journals.sagepub.com\/page\/policies\/text-and-data-mining-license"}],"content-domain":{"domain":["journals.sagepub.com"],"crossmark-restriction":true},"short-container-title":["Fundamenta Informaticae"],"published-print":{"date-parts":[[2014,12]]},"abstract":"<jats:p>The paper deals with the concrete planning problem (CPP) \u2013 a stage of the Web Service Composition (WSC) in the PlanICS framework. The complexity of the problem is discussed. A novel SMT-based approach to CPP is defined and its performance is compared to the standard Genetic Algorithm (GA) and the OpenOpt numerical toolset planner in the framework of the PlanICS system. The discussion of all the approaches is supported by extensive experimental results.<\/jats:p>","DOI":"10.3233\/fi-2014-1134","type":"journal-article","created":{"date-parts":[[2019,12,3]],"date-time":"2019-12-03T01:21:29Z","timestamp":1575336089000},"page":"451-466","update-policy":"https:\/\/doi.org\/10.1177\/sage-journals-update-policy","source":"Crossref","is-referenced-by-count":3,"title":["SMT Versus Genetic and OpenOpt Algorithms: Concrete Planning in the PlanICS Framework"],"prefix":"10.1177","volume":"135","author":[{"given":"Artur","family":"Niewiadomski","sequence":"first","affiliation":[{"name":"Institute of Computer Science, Siedlce University of Natural Sciences and Humanities, 3-Maja 54, 08-110 Siedlce, Poland. artur.niewiadomski@uph.edu.pl; jaroslaw.skaruz@uph.edu.pl"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jaroslaw","family":"Skaruz","sequence":"additional","affiliation":[{"name":"Institute of Computer Science, Siedlce University of Natural Sciences and Humanities, 3-Maja 54, 08-110 Siedlce, Poland. artur.niewiadomski@uph.edu.pl; jaroslaw.skaruz@uph.edu.pl"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wojciech","family":"Penczek","sequence":"additional","affiliation":[{"name":"Institute of Computer Science, Polish Academy of Sciences, Jana Kazimierza 5, 01-248 Warsaw, Poland. penczek@ipipan.waw.pl; mszreter@ipipan.waw.pl"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maciej","family":"Szreter","sequence":"additional","affiliation":[{"name":"Institute of Computer Science, Polish Academy of Sciences, Jana Kazimierza 5, 01-248 Warsaw, Poland. penczek@ipipan.waw.pl; mszreter@ipipan.waw.pl"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mariusz","family":"Jarocki","sequence":"additional","affiliation":[{"name":"Faculty of Mathematics and Computer Science, \u0141\u00f3d\u017a University, Banacha 22, 90-238 \u0141\u00f3d\u017a, Poland. jarocki@math.uni.lodz.pl"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"179","published-online":{"date-parts":[[2014,1]]},"container-title":["Fundamenta Informaticae"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.3233\/FI-2014-1134","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.3233\/FI-2014-1134","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T06:31:32Z","timestamp":1777444292000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/10.3233\/FI-2014-1134"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,1]]},"references-count":0,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2014,12]]}},"alternative-id":["10.3233\/FI-2014-1134"],"URL":"https:\/\/doi.org\/10.3233\/fi-2014-1134","relation":{},"ISSN":["0169-2968","1875-8681"],"issn-type":[{"value":"0169-2968","type":"print"},{"value":"1875-8681","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,1]]}}}