乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T08:11:29Z","timestamp":1730275889580,"version":"3.28.0"},"reference-count":54,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,12,1]],"date-time":"2019-12-01T00:00:00Z","timestamp":1575158400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,12,1]],"date-time":"2019-12-01T00:00:00Z","timestamp":1575158400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,12,1]],"date-time":"2019-12-01T00:00:00Z","timestamp":1575158400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,12]]},"DOI":"10.1109\/ispa-bdcloud-sustaincom-socialcom48970.2019.00106","type":"proceedings-article","created":{"date-parts":[[2020,3,27]],"date-time":"2020-03-27T10:40:16Z","timestamp":1585305616000},"page":"697-704","source":"Crossref","is-referenced-by-count":1,"title":["Parallel Stochastic Portfolio Search for Constraint Solving"],"prefix":"10.1109","author":[{"given":"Ke","family":"Liu","sequence":"first","affiliation":[]},{"given":"Sven","family":"Loffler","sequence":"additional","affiliation":[]},{"given":"Petra","family":"Hofstedt","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","article-title":"Online heuristic selection in constraint programming","author":"arbelaez","year":"2009","journal-title":"Proceedings of the International Symposium on Combinatorial Search"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(99)00097-1"},{"key":"ref33","article-title":"A proof-producing CSP solver","volume":"2010","author":"veksler","year":"2010","journal-title":"Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence AAAI 2010"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.3233\/SAT190009"},{"key":"ref31","first-page":"563","article-title":"Generalizing inconsistency learning for constraint satisfaction","volume":"1995","author":"freuder","year":"1995","journal-title":"Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence IJCAI 95"},{"key":"ref30","volume":"2","author":"rossi","year":"2006","journal-title":"Handbook of Constraint Programming Foundations of Artificial Intelligence"},{"key":"ref37","first-page":"674","article-title":"Dynamic restart policies","volume":"2002","author":"kautz","year":"2002","journal-title":"Proceedings of the Eighteenth National Conference on Artificial Intelligence and Fourteenth Conference on Innovative Applications of Artificial Intelligence"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46135-3_38"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.3233\/SAT190070"},{"key":"ref34","first-page":"2318","article-title":"The effect of restarts on the efficiency of clause learning","volume":"2007","author":"huang","year":"2007","journal-title":"IJCAI 2007 Proceedings of the 20th International Joint Conference on Artificial Intelligence"},{"journal-title":"Nonsystematic Backtracking Search","year":"1995","author":"harvey","key":"ref28"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1002\/9780470611821"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(93)90029-9"},{"key":"ref2","first-page":"86","article-title":"Parallel arc-consistency for functional constraints","volume":"1998","author":"ruiz-andino","year":"1998","journal-title":"Proceedings of the International Workshop on Implementation Technology for Programming Languages based on Logic held in conjunction with the Joint International Conference and Symposium on Logic Programming"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(94)90085-X"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29828-8_15"},{"journal-title":"Constraint Processing","year":"2003","author":"dechter","key":"ref22"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30201-8_41"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-23219-5_10"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2009.09.002"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1023\/A:1006314320276"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/S1574-6526(06)80008-8"},{"journal-title":"CSPLib problem 076 Costas arrays","year":"19","author":"kadolu","key":"ref50"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/ICPP.2013.25"},{"key":"ref54","first-page":"842","article-title":"Parallel restarted search","volume":"2014","author":"cir\u00e9","year":"2014","journal-title":"Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1145\/2742359"},{"key":"ref52","first-page":"443","article-title":"Experiments with massively parallel constraint solving","volume":"2009","author":"bordeaux","year":"2009","journal-title":"IJCAI 2009 Proceedings of the 21st International Joint Conference on Artificial Intelligence"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/s10601-014-9168-4"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068418000340"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38989-4_29"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1126\/science.275.5296.51"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s10472-015-9459-5"},{"key":"ref14","first-page":"232","article-title":"A multicore tool for constraint solving","volume":"2015","author":"amadini","year":"2015","journal-title":"Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence IJCAI 2015"},{"journal-title":"Choco Documentation","year":"2017","author":"prud\u2019homme","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(80)90051-X"},{"key":"ref17","first-page":"146","article-title":"Boosting systematic search by weighting constraints","volume":"2004","author":"boussemart","year":"2004","journal-title":"Proceedings of the 16th Eureopean Conference on Artificial Intelligence ECAI’2004 including Prestigious Applicants of Intelligent Systems PAIS 2004"},{"journal-title":"Modeling and Programming with Gecode","year":"2017","author":"schulte","key":"ref18"},{"journal-title":"Journal of Documentation","year":"2017","author":"kuchcinski","key":"ref19"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74970-7_37"},{"key":"ref3","first-page":"38","article-title":"Combining parallel search and parallel consistency in constraint programming","author":"rolf","year":"2010","journal-title":"International Conference on Principles and Practice of Constraint Programming TRICS workshop"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40627-0_45"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-07046-9_28"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/s10766-015-0356-7"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1613\/jair.5247"},{"journal-title":"CSPLib problem 026 Sports tournament scheduling","year":"19","author":"walsh","key":"ref49"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04244-7_20"},{"key":"ref46","first-page":"607","article-title":"Limited discrepancy search","volume":"1995","author":"harvey","year":"1995","journal-title":"Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence IJCAI 95"},{"key":"ref45","first-page":"431","article-title":"Boosting combinatorial search through randomization","volume":"1998","author":"gomes","year":"1998","journal-title":"Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference AAAI 98 IAAI 98"},{"journal-title":"CSPLib problem 019 Magic squares and sequences","year":"19","author":"walsh","key":"ref48"},{"journal-title":"CSPLib A problem library for constraints","year":"1999","key":"ref47"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1007\/s10462-016-9466-x"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/1389095.1389206"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2018.2859618"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1145\/359094.359101"}],"event":{"name":"2019 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Big Data & Cloud Computing, Sustainable Computing & Communications, Social Computing & Networking (ISPA\/BDCloud\/SocialCom\/SustainCom)","start":{"date-parts":[[2019,12,16]]},"location":"Xiamen, China","end":{"date-parts":[[2019,12,18]]}},"container-title":["2019 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Big Data & Cloud Computing, Sustainable Computing & Communications, Social Computing & Networking (ISPA\/BDCloud\/SocialCom\/SustainCom)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9036029\/9047245\/09047312.pdf?arnumber=9047312","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,15]],"date-time":"2022-07-15T03:10:51Z","timestamp":1657854651000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9047312\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,12]]},"references-count":54,"URL":"https:\/\/doi.org\/10.1109\/ispa-bdcloud-sustaincom-socialcom48970.2019.00106","relation":{},"subject":[],"published":{"date-parts":[[2019,12]]}}}