{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,24]],"date-time":"2024-01-24T06:39:42Z","timestamp":1706078382676},"reference-count":71,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2016,4,19]],"date-time":"2016-04-19T00:00:00Z","timestamp":1461024000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Supercomput"],"published-print":{"date-parts":[[2016,6]]},"DOI":"10.1007\/s11227-016-1712-0","type":"journal-article","created":{"date-parts":[[2016,4,19]],"date-time":"2016-04-19T18:19:45Z","timestamp":1461089985000},"page":"2132-2156","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Parallelized mining of domain knowledge on GPGPU and Xeon Phi clusters"],"prefix":"10.1007","volume":"72","author":[{"given":"Tanvir","family":"Atahary","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tarek M.","family":"Taha","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Scott","family":"Douglass","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,4,19]]},"reference":[{"key":"1712_CR1","doi-asserted-by":"crossref","unstructured":"Anderson JR, Bothell Byrne MD, Douglass S, Lebiere C, Qin Y (2004) An integrated theory of the mind. Psychol Rev 111(4):1036","DOI":"10.1037\/0033-295X.111.4.1036"},{"key":"1712_CR2","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/S0167-6423(99)00007-6","volume":"35","author":"A Aiken","year":"1999","unstructured":"Aiken A (1999) Introduction to set constraint-based program analysis. Sci Comput Program 35:79\u2013111","journal-title":"Sci Comput Program"},{"key":"1712_CR3","volume-title":"Encyclopedia of artificial intelligence","author":"AK Mackworth","year":"1987","unstructured":"Mackworth AK (1987) Constraint satisfaction. In: Shapiro SC (ed) Encyclopedia of artificial intelligence. Wiley, New York"},{"key":"1712_CR4","doi-asserted-by":"crossref","first-page":"557","DOI":"10.1016\/S0377-2217(98)00364-6","volume":"119","author":"SC Brailsford","year":"1999","unstructured":"Brailsford SC, Potts CN, Smith BM (1999) Constraint satisfaction roblems: algorithms and applications. Eur J Oper Res 119:557\u2013581","journal-title":"Eur J Oper Res"},{"key":"1712_CR5","volume-title":"Artificial intelligence: a modern approach","author":"S Russell","year":"2009","unstructured":"Russell S, Norvig P (2009) Artificial intelligence: a modern approach, 3rd edn. Prentice Hall, Upper Saddle River","edition":"3"},{"key":"1712_CR6","doi-asserted-by":"crossref","unstructured":"Diaz D, Abreu S, Codognet P (2010) Parallel constraint-based local search on the Cell\/BE multicore architecture. In: Intelligent distributed computing IV. Studies in computational intelligence, vol. 315. Springer, Heidelberg, pp 265\u2013274","DOI":"10.1007\/978-3-642-15211-5_28"},{"key":"1712_CR7","doi-asserted-by":"crossref","unstructured":"Burtscher M, Rabeti H (2013) A scalable heterogeneous parallelization framework for iterative local searches. In: IEEE 27th International Symposium on Parallel & Distributed Processing (IPDPS)","DOI":"10.1109\/IPDPS.2013.27"},{"key":"1712_CR8","doi-asserted-by":"crossref","unstructured":"Caniou Y, Codognet P (2011) Communication in parallel algorithms for constraint-based local search. In: IEEE International Parallel & Distributed Processing Symposium","DOI":"10.1109\/IPDPS.2011.357"},{"key":"1712_CR9","doi-asserted-by":"crossref","unstructured":"Luong T, Melab N, Talbi E (2013) GPU Computing for Parallel Local Search Metaheuristic Algorithms. IEEE Trans Comput 62(1):173\u2013185","DOI":"10.1109\/TC.2011.206"},{"key":"1712_CR10","doi-asserted-by":"crossref","unstructured":"Fu Z, Dasari HK, Berzins M, Thompson B (2014) Parallel breadth first search on GPU clusters. In: IEEE International Conference on Big Data (Big Data), pp 110\u2013118","DOI":"10.1109\/BigData.2014.7004219"},{"key":"1712_CR11","unstructured":"Wong LL, Wen-mei Hwu M (2010) An effective GPU implementation of breadth-first search. In: Design Automation Conference (DAC), pp 52\u201355"},{"key":"1712_CR12","doi-asserted-by":"crossref","unstructured":"Buluc A, Madduri K (2011) Parallel breadth first search on distributed memory systems. In: The International Conference for High Performance Computing, Networking, Storage and Analysis (SC11)","DOI":"10.1145\/2063384.2063471"},{"key":"1712_CR13","doi-asserted-by":"crossref","unstructured":"Joshi SD, Inamdar VS (2010) Performance Improvement in Large Graph Algorithms on GPU using CUDA: an Overview. In: International Journal of Computer Applications","DOI":"10.5120\/1520-1992"},{"key":"1712_CR14","doi-asserted-by":"crossref","unstructured":"Zhong J, He B (2014) Medusa: simplified graph processing on GPUs. Parallel Distrib Syst IEEE Trans 25(6):1543\u20131552 (ISSN: 1045-9219)","DOI":"10.1109\/TPDS.2013.111"},{"key":"1712_CR15","doi-asserted-by":"crossref","unstructured":"Li D, Becchi M (2013) Deploying Graph Algorithms on GPUs: an Adaptive Solution. In: IEEE 27th International Symposium on Parallel & Distributed Processing (IPDPS)","DOI":"10.1109\/IPDPS.2013.101"},{"key":"1712_CR16","doi-asserted-by":"crossref","unstructured":"Attia OG, Johnson T, Townsend K, Jones P, Zambreno J (2014) CyGraph: a reconfigurable architecture for parallel breadth-first search. In: Parallel & Distributed Processing Symposium Workshops (IPDPSW), pp 228\u2013235","DOI":"10.1109\/IPDPSW.2014.30"},{"key":"1712_CR17","doi-asserted-by":"crossref","unstructured":"Shirahata K, Sato H, Matsuoka S (2014) Out-of-core GPU memory management for MapReduce-based large-scale graph processing. In: IEEE International Conference on Cluster Computing (CLUSTER), pp 221\u2013229","DOI":"10.1109\/CLUSTER.2014.6968748"},{"key":"1712_CR18","unstructured":"Gent IP, Jefferson C, Miguel I, Moore NCA, Nightingale P, Prosser P, Unsworth C (2011) A preliminary review of literature on parallel constraint solving. In: Workshop on Parallel Methods for Constraint Solving (PMCS\u201911)"},{"key":"1712_CR19","unstructured":"Rolf C (2011) Parallelism in constraint programming, Ph.D. Thesis"},{"key":"1712_CR20","unstructured":"Rolf C, Kuchinski K (2009) Parallel Consistency in Constraint Programming. In: The International Conference on Parallel and Distributed Processing Techniques and Applications: SDMAS Workshop"},{"key":"1712_CR21","unstructured":"Rolf C, Kuchinski K (2010) Parallel search and parallel consistency in Constraint Programming. In: International Conference on Principles and Practices of Constraint Programming"},{"key":"1712_CR22","unstructured":"GPU AI for Board Games. http:\/\/developer.nvidia.com\/gpu-ai-board-games . Accessed 10 July (2012)"},{"key":"1712_CR23","unstructured":"Douglass S, Myers C (2010) Concurrent knowledge activation calculation in large declarative memories. In: Proceedings of the 10th International Conference on Cognitive Modeling, pp 55\u201360"},{"key":"1712_CR24","unstructured":"Douglass S, Mittal S (2011) Using domain specific languages to improve scale and integration of cognitive models. In: Proceedings of the Behavior Representation in Modeling and Simulation Conference. Utah"},{"key":"1712_CR25","unstructured":"Moln\u2019ar Z, Balasubramanian D, L\u2019edeczi A (2007) An introduction to the GenericModeling Environment. In: Proceedings of the TOOLS Europe 2007 Workshop on Model-Driven Development Tool Implementers Forum. Zurich"},{"key":"1712_CR26","unstructured":"Ledeczi A, Maroti M, Bakay A, Karsai G, Garrett J, Thomason C, Nordstrom G, Sprinkle J, Volgyesi P (2001) The generic modeling environment. In: Workshop on Intelligent Signal Processing, vol. 17. Budapest"},{"key":"1712_CR27","unstructured":"Ledeczi A, Volgyesi P, Karsai G (2001) Metamodel composition in the Generic Modeling Environment. In: Comm. at Workshop on Adaptive Object-Models and Metamodeling Techniques, Ecoop, vol. 1"},{"key":"1712_CR28","unstructured":"Esper. http:\/\/esper.codehaus.org\/"},{"key":"1712_CR29","unstructured":"Siskind JM (1991) Screaming Yellow Zonkers. MIT Articial Intelligence Laboratory"},{"key":"1712_CR30","doi-asserted-by":"crossref","unstructured":"Sanders P (1995) Better algorithm for parallel backtracking. In: Workshop on Algorithms for Irregularly Structured Problems, number 980 in LNCS","DOI":"10.1007\/3-540-60321-2_27"},{"key":"1712_CR31","unstructured":"Freuder EC, Dechter R, Ginsberg ML, Selman B, Tsang EPK (1995) Systematic versus stochastic constraint satisfaction. In: Proceedings of the 14th International Joint Conference on Artificial Intelligence, vol. 2. Morgan-Kaufmann, pp 2027\u20132032"},{"key":"1712_CR32","doi-asserted-by":"crossref","unstructured":"Ginsberg M, McAllester D (1994) GSAT and dynamic backtracking. In: Proceedings of the Fourth Int\u2019l Conf. Principles of Knowledge Representation and Reasoning, pp 226\u2013237","DOI":"10.1016\/B978-1-4832-1452-8.50117-2"},{"key":"1712_CR33","doi-asserted-by":"crossref","unstructured":"Lynce I, Baptista L, Marques-Silva JP (2001) Stochastic systematic search algorithms for satisfiability. In: the LICS Workshop on theory and apps of satisfiability testing","DOI":"10.1016\/S1571-0653(04)00322-1"},{"issue":"11","key":"1712_CR34","doi-asserted-by":"crossref","first-page":"651","DOI":"10.1145\/361219.361224","volume":"18","author":"JR Bitner","year":"1975","unstructured":"Bitner JR, Reingold E (1975) Backtracking programming techniques. Commun ACM 18(11):651\u2013656","journal-title":"Commun ACM"},{"key":"1712_CR35","doi-asserted-by":"crossref","unstructured":"Cugolaa G, Margara A (August 2012) Complex event processing with T-rex. J Syst Softw 85(8):1709\u20131728","DOI":"10.1016\/j.jss.2012.03.056"},{"key":"1712_CR36","unstructured":"NVIDIA Tesla C2070. http:\/\/www.nvidia.com\/docs\/IO\/43395\/BD-04983-001_v05.pdf"},{"key":"1712_CR37","doi-asserted-by":"crossref","unstructured":"Barnell M, Wu Q, Luley R (2012) Integration and development of the 500 TFLOPS Heterogeneous Cluster (Condor). In: IEEE High Performance Extreme Computing Conference","DOI":"10.1115\/DETC2012-70083"},{"key":"1712_CR38","volume-title":"Foundations of constraint satisfaction","author":"E Tsang","year":"1993","unstructured":"Tsang E (1993) Foundations of constraint satisfaction. Academic Press, Cambridge"},{"key":"1712_CR39","unstructured":"Liu Z. Algorithms for constraint satisfaction problems. Math thesis, Department of Computer Science, University of Waterloo, Waterloo, Ontario, Canada"},{"issue":"1","key":"1712_CR40","first-page":"32","volume":"13","author":"V Kumar","year":"1992","unstructured":"Kumar V (1992) Algorithms for constraint satisfaction problems: a survey. AI Mag 13(1):32\u201344","journal-title":"AI Mag"},{"key":"1712_CR41","unstructured":"Bordeaux L, Hamadi Y, Samulowitz H (2009) Experiments with massively parallel constraint solving. In: Boutilier C (ed.) IJCAI, pp 443\u2013448"},{"key":"1712_CR42","unstructured":"Schulte C (2000) Parallel search made simple. In: Beldiceanu N, Harvey W, Henz M, Laburthe F, Monfroy E, Muller T, Perron L, Schulte C (eds.) Proceedings of TRICS: Techniques for Implementing Constraint programming Systems, a post-conference workshop of CP 2000. Singapore"},{"key":"1712_CR43","doi-asserted-by":"crossref","unstructured":"Rolf CC, Kuchcinski K (2008) State-copying and recomputation in parallel constraint programming with global constraints. In: PDP \u201908: Proceedings of the 16th Euromicro Conference on Parallel, Distributed and Network-Based Processing (PDP 2008). IEEE Computer Society, Washington, DC, pp 311\u2013317","DOI":"10.1109\/PDP.2008.48"},{"key":"1712_CR44","doi-asserted-by":"crossref","unstructured":"Chu G, Schulte C, Stuckey PJ (2009) Confidence-Based Work Stealing in Parallel Constraint Programming. In: Gent IP (ed.) CP 2009. LNCS, vol. 5732. Springer, Heidelberg, pp 226\u2013241","DOI":"10.1007\/978-3-642-04244-7_20"},{"issue":"3","key":"1712_CR45","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1287\/ijoc.1080.0313","volume":"21","author":"L Michel","year":"2009","unstructured":"Michel L, See A, Van Hentenryck P (2009) Transparent parallelization of constraint programming. INFORMS J Comput 21(3):363\u2013382","journal-title":"INFORMS J Comput"},{"key":"1712_CR46","doi-asserted-by":"crossref","unstructured":"Xie F, Davenport A (2010) Massively parallel constraint programming for supercomputers: challenges and initial results. In: Lodi A, Milano M, Toth P (eds.) CPAIOR 2010. LNCS, vol. 6140. Springer, Heidelberg, pp 334\u2013338","DOI":"10.1007\/978-3-642-13520-0_36"},{"key":"1712_CR47","doi-asserted-by":"crossref","first-page":"596","DOI":"10.1007\/978-3-642-40627-0_45","volume-title":"Principles and practice of constraint programming","author":"J R\u2019egin","year":"2013","unstructured":"R\u2019egin J, Rezgui Md, Malapert A (2013) Embarrassingly parallel search. In: Christian Schulte (ed) Principles and practice of constraint programming, vol 8124. Springer, Berlin, pp 596\u2013610"},{"key":"1712_CR48","doi-asserted-by":"crossref","unstructured":"R\u2019egin JC, Rezgui M, Malapert A (2014) Improvement of the embarrassingly parallel search for data centers. In: Principles and Practice of Constraint Programming. Springer, New York","DOI":"10.1007\/978-3-319-10428-7_45"},{"key":"1712_CR49","doi-asserted-by":"crossref","unstructured":"Michel L, See A, Hentenryck PV (2007) Parallelizing constraint programs transparently. In: Bessiere C (ed.) CP, ser. Lecture Notes in Computer Science, vol. 4741. Springer, New York, pp 514\u2013528","DOI":"10.1007\/978-3-540-74970-7_37"},{"key":"1712_CR50","doi-asserted-by":"crossref","unstructured":"Yang J, Goodwin SD (2005) High performance constraint satisfaction problem solving: state-recomputation versus state-copying. In: 19th International Symposium on High Performance Computing Systems and Applications. HPCS, pp 117\u2013123","DOI":"10.1109\/HPCS.2005.30"},{"key":"1712_CR51","doi-asserted-by":"crossref","unstructured":"Rolf CC, Kuchcinski K (2008) Load-balancing methods for parallel and distributed constraint solving. In: Cluster Computing, IEEE International Conference on, pp 304\u2013309","DOI":"10.1109\/CLUSTR.2008.4663786"},{"key":"1712_CR52","unstructured":"Diaz D, Abreu S, Codognet P (2012) Targeting theCell BroadbandEngine for constraint-based local search. doi:10.1002\/cpe"},{"key":"1712_CR53","doi-asserted-by":"crossref","unstructured":"Caniou Y, Codognet P, Diaz D, Abreu S (2011) Experiments in parallel constraint-based local search. In: EvoCOP\u201911, 11th European Conference on Evolutionary Computation in Combinatorial Optimisation, Lecture Notes in Computer Science. Springer, Torino","DOI":"10.1007\/978-3-642-20364-0_9"},{"issue":"1","key":"1712_CR54","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1007\/s10601-014-9168-4","volume":"20","author":"Y Caniou","year":"2014","unstructured":"Caniou Y, Codognet P, Richoux F, Diaz D, Abreu S (2014) Large-scale parallelism for constraint-based local search: the costas array case study. Constraints Springer Verlag 20(1):30\u201356 (Germany)","journal-title":"Constraints Springer Verlag"},{"key":"1712_CR55","doi-asserted-by":"crossref","unstructured":"Van Luong T, Melab N, Talbi EG (2010) Local search algorithms on graphics processing units. In: Evolutionary computation in combinatorial optimization, Lecture Notes in Computer Science, vol. 6022. Springer, New York, pp 264\u2013275","DOI":"10.1007\/978-3-642-12139-5_23"},{"key":"1712_CR56","doi-asserted-by":"crossref","unstructured":"Michel L, See A, Van Hentenryck P (2006) Distributed constraint-based local search. In: Benhamou F (ed.) CP\u201906, 12th Int. Conf. on Principles and Practice of Constraint Programming, Lecture Notes in Computer Science, vol 4204. Springer, New York, pp 344\u2013358","DOI":"10.1007\/11889205_26"},{"key":"1712_CR57","doi-asserted-by":"crossref","first-page":"2357","DOI":"10.1016\/j.cor.2008.08.014","volume":"36","author":"L Michel","year":"2009","unstructured":"Michel L, See A, Van Hentenryck P (2009) Parallel and distributed local search in comet. Comput Oper Res 36:2357\u20132375","journal-title":"Comput Oper Res"},{"key":"1712_CR58","doi-asserted-by":"crossref","unstructured":"Moisan T, Gaudreault J, Quimper CG (2013) Parallel discrepancy-based search. In: Schulte C (ed.) Principles and Practice of Constraint Programming, Lecture Notes in Computer Science, vol. 8124. Springer, New York, pp 30\u201346","DOI":"10.1007\/978-3-642-40627-0_6"},{"key":"1712_CR59","unstructured":"Wang Y (2010) NVIDIA CUDA Architecture-based Parallel Incomplete SAT solver. Master Project Final Report, Rochester Institute of Technology"},{"issue":"1","key":"1712_CR60","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1109\/92.920833","volume":"9","author":"P Leong","year":"2001","unstructured":"Leong P, Sham C, Wong W, Yuen W, Leong M (2001) A Bitstream Reconfigurable FPGA Implementation of the WSAT Algorithm. IEEE Trans VLSI Syst 9(1):197\u2013201","journal-title":"IEEE Trans VLSI Syst"},{"key":"1712_CR61","doi-asserted-by":"crossref","first-page":"245","DOI":"10.3233\/SAT190070","volume":"6","author":"Y Hamadi","year":"2009","unstructured":"Hamadi Y, Jabbour S, Sais L (2009) ManySAT: a parallel SAT solver. J Satisability Boolean Model Comput 6:245\u2013262","journal-title":"J Satisability Boolean Model Comput"},{"key":"1712_CR62","unstructured":"Chu G, Stuckey P (2008) A parallelization of MiniSAT 2.0. In: Proceedings of SAT race"},{"key":"1712_CR63","first-page":"203","volume":"6","author":"T Schubert","year":"2009","unstructured":"Schubert T, Lewis M, Becker B (2009) PaMiraXT: parallel SAT solving with threads and message passing. JSAT 6:203\u2013222","journal-title":"JSAT"},{"key":"1712_CR64","doi-asserted-by":"crossref","first-page":"304","DOI":"10.1007\/s10601-012-9121-3","volume":"17","author":"R Martins","year":"2012","unstructured":"Martins R, Manquinho V, Lynce I (2012) An overview of parallel SAT solving. Constraints 17:304\u2013347","journal-title":"Constraints"},{"key":"1712_CR65","doi-asserted-by":"crossref","unstructured":"Ohmura K, Ueda K (2009) c-SAT: A parallel SAT solver for clusters. In: proceedings of SAT\u201909. Springer, New York, pp 524\u2013537","DOI":"10.1007\/978-3-642-02777-2_47"},{"key":"1712_CR66","unstructured":"Nguyen T, Deville Y (1995) A distributed arc-consistency algorithm. In: First International Workshop on Concurrent Constraint Satisfaction"},{"key":"1712_CR67","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1016\/S0167-6423(97)00012-9","volume":"30","author":"T Nguyen","year":"1998","unstructured":"Nguyen T, Deville Y (1998) A distributed arc-consistency algorithm. Sci Comput Program 30:227\u2013250","journal-title":"Sci Comput Program"},{"issue":"3\u20134","key":"1712_CR68","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1023\/A:1020594125144","volume":"7","author":"Y Hamadi","year":"2002","unstructured":"Hamadi Y (2002) Optimal distributed arc-consistency. Constraints 7(3\u20134):367\u2013385","journal-title":"Constraints"},{"key":"1712_CR69","unstructured":"Ruiz-Andino A, Araujo L, Saenz F, Ruz JJ (1998) Parallel arc-consistency for functional constraints. In: Workshop on Implementation Technology for Programming Languages based on Logic, ICLP, pp 86\u2013100"},{"key":"1712_CR70","doi-asserted-by":"crossref","unstructured":"Burton FW, Sleep MR (1981) Executing functional programs on a virtual tree of processors. In: Proceedings of the 1981 Conference on Functional Programming Languages and Computer Architecture, FPCA \u201981. New York, pp 187\u2013194","DOI":"10.1145\/800223.806778"},{"key":"1712_CR71","doi-asserted-by":"crossref","unstructured":"Halstead RH (1984) Implementation of multilisp: Lisp on a multiprocessor. In: Proceedings of the 1984 ACM Symposium on LISP and Functional Programming, LFP \u201984. New York, pp 9\u201317","DOI":"10.1145\/800055.802017"}],"container-title":["The Journal of Supercomputing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-016-1712-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11227-016-1712-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-016-1712-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,18]],"date-time":"2020-09-18T21:44:19Z","timestamp":1600465459000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11227-016-1712-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,4,19]]},"references-count":71,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2016,6]]}},"alternative-id":["1712"],"URL":"https:\/\/doi.org\/10.1007\/s11227-016-1712-0","relation":{},"ISSN":["0920-8542","1573-0484"],"issn-type":[{"value":"0920-8542","type":"print"},{"value":"1573-0484","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,4,19]]}}}