{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T21:37:09Z","timestamp":1729633029214,"version":"3.28.0"},"reference-count":34,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,12]]},"DOI":"10.1109\/icta.2015.7426929","type":"proceedings-article","created":{"date-parts":[[2016,3,28]],"date-time":"2016-03-28T21:06:31Z","timestamp":1459199191000},"page":"1-6","source":"Crossref","is-referenced-by-count":1,"title":["On QoS web service composition using satisfiability"],"prefix":"10.1109","author":[{"given":"Abderrahim Ait","family":"Wakrime","sequence":"first","affiliation":[]},{"given":"Said","family":"Jabbour","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref33","first-page":"502","article-title":"An extensible sat-solver","author":"e\u00e9n","year":"2003","journal-title":"SAT"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2001.156196"},{"key":"ref31","first-page":"115","article-title":"On the complexity of derivations in the propositional calculus","author":"tseitin","year":"1968","journal-title":"Structures in Constructives Mathematics and Mathematical Logic Part II"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-19656-5_48"},{"key":"ref34","first-page":"279","article-title":"Efficient conflict driven learning in boolean satisfiability solver","author":"zhang","year":"2001","journal-title":"ICCAD"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1177\/0037549707079226"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.knosys.2010.02.006"},{"key":"ref12","first-page":"927","article-title":"Contingent planning with goal preferences","volume":"1","author":"shaparau","year":"2006","journal-title":"Proceedings of the National Conference on Artificial Intelligence"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2004.06.005"},{"key":"ref14","doi-asserted-by":"crossref","first-page":"125","DOI":"10.3233\/WIA-130266","article-title":"A study on dynamic semantic web service composition","volume":"11","author":"li","year":"2013","journal-title":"Web Intelli and Agent Sys"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2008.134"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2008.118"},{"key":"ref17","doi-asserted-by":"crossref","first-page":"423","DOI":"10.3233\/WIA-2012-0255","article-title":"A distributed multi-agent planning approach for automated web services composition","volume":"10","author":"el falou","year":"2012","journal-title":"Web Intelli and Agent Sys"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/CECandEEE.2008.108"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/SCC.2008.141"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2010.5"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10428-7_41"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.11"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/11814948_25"},{"key":"ref6","article-title":"Service composition based on multi agent in cloud environment","volume":"1","author":"virani","year":"2012","journal-title":"International Journal of Engineering Research and Technology"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2013.12.036"},{"key":"ref5","first-page":"268","article-title":"On the resiliency of unit propagation to max-resolution","author":"abram\u00e9","year":"2015","journal-title":"Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence IJCAI 2015"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2009.2037018"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ITNG.2012.27"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ICEBE.2015.49"},{"key":"ref9","first-page":"191","article-title":"A petri net-based model for web service composition","volume":"17","author":"hamadi","year":"2003","journal-title":"Proc 14th Australasian Database Conf"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1504\/IJWGS.2005.007545"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2011.89"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/1967486.1967647"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72982-2_6"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/1838552.1838557"},{"key":"ref23","doi-asserted-by":"crossref","first-page":"658","DOI":"10.1109\/DEXA.2005.68","article-title":"Constraint satisfaction in dynamic web service composition","author":"channa","year":"2005","journal-title":"Database and Expert Systems Applications 2005 Proceedings Sixteenth International Workshop on"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2012.27"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74974-5_6"}],"event":{"name":"2015 5th International Conference on Information & Communication Technology and Accessibility (ICTA)","start":{"date-parts":[[2015,12,21]]},"location":"Marrakech","end":{"date-parts":[[2015,12,23]]}},"container-title":["2015 5th International Conference on Information & Communication Technology and Accessibility (ICTA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7416367\/7426869\/07426929.pdf?arnumber=7426929","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,17]],"date-time":"2020-09-17T21:47:56Z","timestamp":1600379276000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7426929\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,12]]},"references-count":34,"URL":"https:\/\/doi.org\/10.1109\/icta.2015.7426929","relation":{},"subject":[],"published":{"date-parts":[[2015,12]]}}}