乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T19:54:14Z","timestamp":1730318054634,"version":"3.28.0"},"publisher-location":"New York, NY, USA","reference-count":35,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,5,18]],"date-time":"2016-05-18T00:00:00Z","timestamp":1463529600000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,5,18]]},"DOI":"10.1145\/2903220.2903228","type":"proceedings-article","created":{"date-parts":[[2016,5,11]],"date-time":"2016-05-11T12:11:49Z","timestamp":1462968709000},"page":"1-7","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Using Parallelization to Efficiently Exploit the Pruning Power of Strong Local Consistencies"],"prefix":"10.1145","author":[{"given":"Minas","family":"Dasygenis","sequence":"first","affiliation":[{"name":"Department of Informatics and Telecommunications Engineering, University of Western Macedonia, Kozani, Greece"}]},{"given":"Kostas","family":"Stergiou","sequence":"additional","affiliation":[{"name":"Department of Informatics and Telecommunications Engineering, University of Western Macedonia, Kozani, Greece"}]}],"member":"320","published-online":{"date-parts":[[2016,5,18]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1007\/978-3-319-09284-3_15","volume-title":"Theory and Applications of Satisfiability Testing - SAT 2014 - 17th International Conference","author":"Audemard G.","year":"2014","unstructured":"G. Audemard and L. Simon . Lazy clause exchange policy for parallel SAT solvers . In Theory and Applications of Satisfiability Testing - SAT 2014 - 17th International Conference , pages 197 -- 205 , 2014 . G. Audemard and L. Simon. Lazy clause exchange policy for parallel SAT solvers. In Theory and Applications of Satisfiability Testing - SAT 2014 - 17th International Conference, pages 197--205, 2014."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10601-011-9110-y"},{"key":"e_1_3_2_1_3_1","volume-title":"ECAI-08 Workshop on Modeling and Solving Problems with Constraints","author":"Balafoutis T.","year":"2008","unstructured":"T. Balafoutis and K. Stergiou . Exploiting constraint weights for revision ordering in Arc Consistency Algorithms . In ECAI-08 Workshop on Modeling and Solving Problems with Constraints , 2008 . T. Balafoutis and K. Stergiou. Exploiting constraint weights for revision ordering in Arc Consistency Algorithms. In ECAI-08 Workshop on Modeling and Solving Problems with Constraints, 2008."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/791219.791649"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10601-009-9080-5"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2007.10.016"},{"key":"e_1_3_2_1_7_1","first-page":"443","volume-title":"IJCAI","author":"Bordeaux L.","year":"2009","unstructured":"L. Bordeaux , Y. Hamadi , and H. Samulowitz . Experiments with Massively Parallel Constraint Solving . In IJCAI , pages 443 -- 448 , 2009 . L. Bordeaux, Y. Hamadi, and H. Samulowitz. Experiments with Massively Parallel Constraint Solving. In IJCAI, pages 443--448, 2009."},{"key":"e_1_3_2_1_8_1","volume-title":"CP'04 Workshop on Constraint Propagation and Implementation","author":"Boussemart F.","year":"2004","unstructured":"F. Boussemart , F. Hemery , and C. Lecoutre . Revision ordering heuristics for the Constraint Satisfaction Problem . In CP'04 Workshop on Constraint Propagation and Implementation , Toronto, Canada , 2004 . F. Boussemart, F. Hemery, and C. Lecoutre. Revision ordering heuristics for the Constraint Satisfaction Problem. In CP'04 Workshop on Constraint Propagation and Implementation, Toronto, Canada, 2004."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/1788994.1789017"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICTAI.2014.112"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0017448"},{"key":"e_1_3_2_1_12_1","first-page":"205","volume":"14","author":"Debruyne R.","year":"2001","unstructured":"R. Debruyne and C. Bessi\u00e8re . Domain Filtering Consistencies. JAIR , 14 : 205 -- 230 , 2001 . R. Debruyne and C. Bessi\u00e8re. Domain Filtering Consistencies. JAIR, 14:205--230, 2001.","journal-title":"Domain Filtering Consistencies. JAIR"},{"key":"e_1_3_2_1_13_1","first-page":"202","volume-title":"Proceedings of AAAI'96","author":"Freuder E.","year":"1996","unstructured":"E. Freuder and C. Elfe . Neighborhood Inverse Consistency Preprocessing . In Proceedings of AAAI'96 , pages 202 -- 208 , 1996 . E. Freuder and C. Elfe. Neighborhood Inverse Consistency Preprocessing. In Proceedings of AAAI'96, pages 202--208, 1996."},{"key":"e_1_3_2_1_14_1","volume-title":"PMCS'11 Workshop on Parallel Methods for Constraint Solving","author":"Gent I.","year":"2011","unstructured":"I. Gent , C. Jefferson , I. Miguel , N. Moore , P. Nightingale , P. Prosser , and C. Unsworth . A preliminary review of literature on parallel constraint solving . In PMCS'11 Workshop on Parallel Methods for Constraint Solving , 2011 . I. Gent, C. Jefferson, I. Miguel, N. Moore, P. Nightingale, P. Prosser, and C. Unsworth. A preliminary review of literature on parallel constraint solving. In PMCS'11 Workshop on Parallel Methods for Constraint Solving, 2011."},{"key":"e_1_3_2_1_15_1","volume-title":"AAAI","author":"Geschwender D. J.","year":"2013","unstructured":"D. J. Geschwender , S. Karakashian , R. J. Woodward , B. Y. Choueiry , and S. D. Scott . Selecting the appropriate consistency algorithm for csps using machine learning classifiers . In AAAI , 2013 . D. J. Geschwender, S. Karakashian, R. J. Woodward, B. Y. Choueiry, and S. D. Scott. Selecting the appropriate consistency algorithm for csps using machine learning classifiers. In AAAI, 2013."},{"issue":"4","key":"e_1_3_2_1_16_1","first-page":"245","article-title":"Manysat: a Parallel SAT Solver","volume":"6","author":"Hamadi Y.","year":"2009","unstructured":"Y. Hamadi , S. Jabbour , and L. Sais . Manysat: a Parallel SAT Solver . JSAT , 6 ( 4 ): 245 -- 262 , 2009 . Y. Hamadi, S. Jabbour, and L. Sais. Manysat: a Parallel SAT Solver. JSAT, 6(4):245--262, 2009.","journal-title":"JSAT"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICTAI.2004.107"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAI.1989.65349"},{"key":"e_1_3_2_1_19_1","first-page":"114","volume-title":"Proceedings of AAAI'93","author":"J\u00e9gou P.","year":"1993","unstructured":"P. J\u00e9gou . On the Consistency of General Constraint Satisfaction Problems . In Proceedings of AAAI'93 , pages 114 -- 119 , 1993 . P. J\u00e9gou. On the Consistency of General Constraint Satisfaction Problems. In Proceedings of AAAI'93, pages 114--119, 1993."},{"issue":"4","key":"e_1_3_2_1_20_1","first-page":"223","volume":"6","author":"Johannes Hyv\u00e4rinen A.","year":"2009","unstructured":"A. Johannes Hyv\u00e4rinen , T. Junttila , and I. Niemel\u00e4 . Incorporating Clause Learning in Grid-Based Randomized SAT Solving. JSAT , 6 ( 4 ): 223 -- 244 , 2009 . A. Johannes Hyv\u00e4rinen, T. Junttila, and I. Niemel\u00e4. Incorporating Clause Learning in Grid-Based Randomized SAT Solving. JSAT, 6(4):223--244, 2009.","journal-title":"Incorporating Clause Learning in Grid-Based Randomized SAT Solving. JSAT"},{"key":"e_1_3_2_1_21_1","first-page":"101","volume-title":"Proceedings of AAAI'10","author":"Karakashian S.","year":"2010","unstructured":"S. Karakashian , R. Woodward , C. Reeson , B. Choueiry , and C. Bessi\u00e8re . A first practical algorithm for high levels of relational consistency . In Proceedings of AAAI'10 , pages 101 -- 107 , 2010 . S. Karakashian, R. Woodward, C. Reeson, B. Choueiry, and C. Bessi\u00e8re. A first practical algorithm for high levels of relational consistency. In Proceedings of AAAI'10, pages 101--107, 2010."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(90)90009-O"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(94)90085-X"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/1886008.1886038"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/2016945.2016951"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1287\/ijoc.1080.0313"},{"key":"e_1_3_2_1_27_1","volume-title":"May","author":"Architecture Review Board MP","year":"2008","unstructured":"Open MP Architecture Review Board . OpenMP application program interface version 3.0 , May 2008 . OpenMP Architecture Review Board. OpenMP application program interface version 3.0, May 2008."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/647486.726496"},{"key":"e_1_3_2_1_29_1","first-page":"38","volume-title":"TRICS workshop at CP","author":"Rolf C.","year":"2010","unstructured":"C. Rolf and K. Kuchcinski . Combining parallel search and parallel consistency in constraint programming . In TRICS workshop at CP , pages 38 -- 52 , 2010 . C. Rolf and K. Kuchcinski. Combining parallel search and parallel consistency in constraint programming. In TRICS workshop at CP, pages 38--52, 2010."},{"key":"e_1_3_2_1_30_1","first-page":"86","volume-title":"Parallel Arc-Consistency for Functional Constraints. In Workshop on Implementation Technology for Programming Languages based on Logic, ICLP","author":"Ruiz-Andino A.","year":"1998","unstructured":"A. Ruiz-Andino , L. Araujo , F. Saenz , and J. Ruz . Parallel Arc-Consistency for Functional Constraints. In Workshop on Implementation Technology for Programming Languages based on Logic, ICLP , pages 86 -- 100 , 1998 . A. Ruiz-Andino, L. Araujo, F. Saenz, and J. Ruz. Parallel Arc-Consistency for Functional Constraints. In Workshop on Implementation Technology for Programming Languages based on Logic, ICLP, pages 86--100, 1998."},{"key":"e_1_3_2_1_31_1","first-page":"485","volume-title":"Proceedings of ECAI'08","author":"Stergiou K.","year":"2008","unstructured":"K. Stergiou . Heuristics for Dynamically Adapting Propagation . In Proceedings of ECAI'08 , pages 485 -- 489 , 2008 . K. Stergiou. Heuristics for Dynamically Adapting Propagation. In Proceedings of ECAI'08, pages 485--489, 2008."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/210346.210347"},{"key":"e_1_3_2_1_33_1","first-page":"163","volume-title":"AI\/GI\/VI","author":"Wallace R.","year":"1992","unstructured":"R. Wallace and E. Freuder . Ordering heuristics for arc consistency algorithms . In AI\/GI\/VI , pages 163 -- 169 , Vancouver, British Columbia, Canada , 1992 . R. Wallace and E. Freuder. Ordering heuristics for arc consistency algorithms. In AI\/GI\/VI, pages 163--169, Vancouver, British Columbia, Canada, 1992."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33558-7_50"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33558-7_52"}],"event":{"name":"SETN '16: 9th Hellenic Conference on Artificial Intelligence","sponsor":["EETN Hellenic Artificial Intelligence Society"],"location":"Thessaloniki Greece","acronym":"SETN '16"},"container-title":["Proceedings of the 9th Hellenic Conference on Artificial Intelligence"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2903220.2903228","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,13]],"date-time":"2023-01-13T18:27:31Z","timestamp":1673634451000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2903220.2903228"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,5,18]]},"references-count":35,"alternative-id":["10.1145\/2903220.2903228","10.1145\/2903220"],"URL":"https:\/\/doi.org\/10.1145\/2903220.2903228","relation":{},"subject":[],"published":{"date-parts":[[2016,5,18]]},"assertion":[{"value":"2016-05-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}