{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T08:49:26Z","timestamp":1729673366865,"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\/isda.2015.7489174","type":"proceedings-article","created":{"date-parts":[[2016,6,13]],"date-time":"2016-06-13T22:22:17Z","timestamp":1465856537000},"page":"540-545","source":"Crossref","is-referenced-by-count":2,"title":["Minimum Unsatisfiability based QoS Web Service Composition over the Cloud Computing"],"prefix":"10.1109","author":[{"given":"Abderrahim Ait","family":"Wakrime","sequence":"first","affiliation":[]},{"given":"Said","family":"Jabbour","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/s10601-008-9058-8"},{"key":"ref32","first-page":"2300","article-title":"Boosting a complete technique to find MSS and MUS thanks to a local search oracle","author":"gr\u00e9goire","year":"2007","journal-title":"IJCAI 2007 Proceedings of the 20th International Joint Conference on Artificial Intelligence Hyderabad India January 6–12 2007"},{"key":"ref31","first-page":"279","article-title":"Efficient conflict driven learning in boolean satisfiability solver","author":"zhang","year":"2001","journal-title":"ICCAD"},{"key":"ref30","first-page":"502","article-title":"An extensible sat-solver","author":"e\u00e9n","year":"2003","journal-title":"SAT"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-23219-5_13"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2004.06.005"},{"key":"ref11","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":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2008.134"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2008.118"},{"key":"ref14","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":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/CECandEEE.2008.108"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/SCC.2008.141"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2011.89"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72982-2_6"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/1967486.1967647"},{"key":"ref28","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":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ITNG.2012.27"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-19656-5_48"},{"key":"ref3","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":"ref6","first-page":"191","article-title":"A petri net-based model for web service composition","author":"hamadi","year":"2003","journal-title":"Proceedings of the 14th Australasian Database Conference - Volume 17 ser ADC '03 Darlinghurst Australia Australia Australian Computer Society Inc"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2001.156196"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2009.2037018"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.knosys.2010.02.006"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1177\/0037549707079226"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ICEBE.2015.49"},{"key":"ref9","first-page":"927","article-title":"Contingent planning with goal preferences","author":"shaparau","year":"2006","journal-title":"Proceedings of the 21st National Conference on Artificial Intelligence - Volume 1 ser AAAI’ 06 AAAI Press"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1504\/IJWGS.2005.007545"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/DEXA.2005.68"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74974-5_6"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/1838552.1838557"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.11"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2012.27"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2013.12.036"},{"key":"ref25","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1109\/TSC.2010.5","article-title":"Tqos: Transactional and qos-aware selection algorithm for automatic web service composition","volume":"3","author":"el hadad","year":"2010","journal-title":"Services Computing IEEE Transactions on"}],"event":{"name":"2015 15th International Conference on Intelligent Systems Design and Applications (ISDA)","start":{"date-parts":[[2015,12,14]]},"location":"Marrakech","end":{"date-parts":[[2015,12,16]]}},"container-title":["2015 15th International Conference on Intelligent Systems Design and Applications (ISDA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7484413\/7489153\/07489174.pdf?arnumber=7489174","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,22]],"date-time":"2020-09-22T05:38:57Z","timestamp":1600753137000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7489174\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,12]]},"references-count":34,"URL":"https:\/\/doi.org\/10.1109\/isda.2015.7489174","relation":{},"subject":[],"published":{"date-parts":[[2015,12]]}}}