{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T02:37:57Z","timestamp":1725763077113},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319041315"},{"type":"electronic","value":"9783319041322"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-04132-2_11","type":"book-chapter","created":{"date-parts":[[2013,12,8]],"date-time":"2013-12-08T21:49:14Z","timestamp":1386539354000},"page":"152-167","source":"Crossref","is-referenced-by-count":13,"title":["Exploring the Use of GPUs in Constraint Solving"],"prefix":"10.1007","author":[{"given":"Federico","family":"Campeotto","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandro","family":"Dal Pal\u00f9","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Agostino","family":"Dovier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ferdinando","family":"Fioretto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Enrico","family":"Pontelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"Campeotto, F., Dovier, A., Pontelli, E.: Protein structure prediction on GPU: a declarative approach in a multi-agent framework. In: Proc. of International Conference on Parallel Processing, pp. 474\u2013479. IEEE (2013)","DOI":"10.1109\/ICPP.2013.57"},{"key":"11_CR2","unstructured":"Dal Pal\u00fa, A., Dovier, A., Formisano, A., Pontelli, E.: Exploiting unexploited computing resources for computational logics. In: 9th Italian Convention on Computational Logic, CEUR Workshop Proceedings, vol.\u00a0857, pp. 74\u201388 (2012)"},{"issue":"4-6","key":"11_CR3","first-page":"709","volume":"10","author":"A. Pal\u00fa Dal","year":"2010","unstructured":"Dal Pal\u00fa, A., Dovier, A., Fogolari, F., Pontelli, E.: CLP-based protein fragment assembly. TPLP\u00a010(4-6), 709\u2013724 (2010)","journal-title":"TPLP"},{"issue":"3","key":"11_CR4","first-page":"211","volume":"20","author":"I. Gent","year":"2007","unstructured":"Gent, I., et al.: Search in the Patience Game \u2018Black Hole\u2019. AI Communications\u00a020(3), 211\u2013226 (2007)","journal-title":"AI Communications"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Gulati, K., Khatri, S.P.: Boolean Satisfiability on a Graphic Processor. In: Great Lakes Symposium on VLSI, pp. 123\u2013126. ACM (2010)","DOI":"10.1145\/1785481.1785511"},{"issue":"4","key":"11_CR6","doi-asserted-by":"publisher","first-page":"472","DOI":"10.1145\/504083.504085","volume":"23","author":"G. Gupta","year":"2001","unstructured":"Gupta, G., Pontelli, E., Carlsson, M., Hermenegildo, M., Ali, K.M.: Parallel Execution of Prolog Programs: a Survey. ACM TOPLAS\u00a023(4), 472\u2013602 (2001)","journal-title":"ACM TOPLAS"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Hamadi, Y.: Optimal Distributed Arc Consistency. Constraints\u00a07(3-4) (2002)","DOI":"10.1023\/A:1020594125144"},{"issue":"3","key":"11_CR8","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1016\/0004-3702(90)90009-O","volume":"45","author":"S. Kasif","year":"1990","unstructured":"Kasif, S.: On the Parallel Complexity of Discrete Relaxation in Constraint Satisfaction Networks. Artificial Intelligence\u00a045(3), 275\u2013286 (1990)","journal-title":"Artificial Intelligence"},{"key":"11_CR9","unstructured":"Kitano, H., Hendler, J.A. (eds.): Massive Parallel Artificial Intelligence. AAAI\/MIT Press (1994)"},{"key":"11_CR10","unstructured":"Kuchcinski, K., Szymanek, R.: JaCoP Library User\u2019s Guide (2012), \n                  \n                    http:\/\/jacop.osolpro.com\/"},{"key":"11_CR11","unstructured":"Le, H., Pontelli, E.: Dynamic Scheduling in Parallel Answer Set Programming Solvers. In: High Performance Computing Symposium. ACM Press (2007)"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Lecoutre, C.: STR2 Optimized Simple Tabular Reduction for Table Constraints. Constraints\u00a016(1) (2011)","DOI":"10.1007\/s10601-011-9107-6"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"Meyer, Q., Schonfeld, F., Stamminger, M., Wanka, R.: 3-SAT on CUDA: Towards a Massively Parallel SAT Solver. In: HPCS, pp. 306\u2013313. IEEE (2010)","DOI":"10.1109\/HPCS.2010.5547116"},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"Michel, L., See, A., Van Hentenryck, P.: Transparent Parallelization of Constraint Programming. INFORMS Journal on Computing\u00a021(3) (2009)","DOI":"10.1287\/ijoc.1080.0313"},{"key":"11_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1007\/978-3-540-74970-7_38","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2007","author":"N. Nethercote","year":"2007","unstructured":"Nethercote, N., Stuckey, P.J., Becket, R., Brand, S., Duck, G.J., Tack, G.: MiniZinc: Towards a Standard CP Modelling Language. In: Bessi\u00e8re, C. (ed.) CP 2007. LNCS, vol.\u00a04741, pp. 529\u2013543. Springer, Heidelberg (2007), \n                  \n                    www.minizinc.org"},{"issue":"1-2","key":"11_CR16","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1016\/S0167-6423(97)00012-9","volume":"30","author":"T. Nguyen","year":"1998","unstructured":"Nguyen, T., Deville, Y.: A Distributed Arc-Consistency Algorithm. Science of Computer Programming\u00a030(1-2), 227\u2013250 (1998)","journal-title":"Science of Computer Programming"},{"key":"11_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"346","DOI":"10.1007\/978-3-540-48085-3_25","volume-title":"Principles and Practice of Constraint Programming \u2013 CP\u201999","author":"L. Perron","year":"1999","unstructured":"Perron, L.: Search Procedures and Parallelism in Constraint Programming. In: Jaffar, J. (ed.) CP 1999. LNCS, vol.\u00a01713, pp. 346\u2013361. Springer, Heidelberg (1999)"},{"key":"11_CR18","unstructured":"Rolf, C., Kuchcinski, K.: Parallel Consistency in Constraint Programming. In: Proc. of PDPTA, pp. 638\u2013644. CSREA Press (2009)"},{"key":"11_CR19","unstructured":"Rossi, F., van Beek, P., Walsh, T.: Handbook of Constraint Programming (Foundations of Artificial Intelligence). Elsevier (2006)"},{"key":"11_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"473","DOI":"10.1007\/3-540-49481-2_44","volume-title":"Principles and Practice of Constraint Programming - CP98","author":"A. Ruiz-Andino","year":"1998","unstructured":"Ruiz-Andino, A., Araujo, L., Saenz, F., Ruz, J.: Parallel Execution Models for Constraint Propagation. In: Maher, M.J., Puget, J.-F. (eds.) CP 1998. LNCS, vol.\u00a01520, p. 473. Springer, Heidelberg (1998)"},{"key":"11_CR21","unstructured":"Sanders, J., Kandrot, E.: CUDA by Example. An Introduction to General-Purpose GPU Programming. Addison Wesley (2010)"},{"key":"11_CR22","unstructured":"Schulte, C.: Parallel Search Made Simple. In: Techniques for Implementing Constraint Programming Systems, TRA9\/00, University of Singapore (2000)"},{"key":"11_CR23","doi-asserted-by":"crossref","unstructured":"Schulte, C., Stuckey, P.J.: Efficient constraint propagation engines. ACM TOPLAS\u00a031(1) (2008)","DOI":"10.1145\/1452044.1452046"},{"key":"11_CR24","unstructured":"Schulte, C., Tack, G., Lagerkvist, M.Z.: Modeling and Programming with Gecode (2013), \n                  \n                    http:\/\/www.gecode.org"},{"key":"11_CR25","doi-asserted-by":"crossref","unstructured":"Talbi, E.G.: Parallel Combinatorial Optimization. John Wiley and Sons (2006)","DOI":"10.1002\/0470053925"},{"key":"11_CR26","unstructured":"Van Hentenryck, P.: Parallel Constraint Satisfaction in Logic Programming. In: Proc. of ICLP, pp. 165\u2013180. MIT Press (1989)"},{"key":"11_CR27","unstructured":"Vella, F., Dal Pal\u00f9, A., Dovier, A., Formisano, A.: Enrico Pontelli. CUD@ASP: Experimenting with GPGPUs in ASP solving. In: 10th Italian Convention on Computational Logic, CEUR Workshop Proceedings, vol.\u00a01068, pp. 163\u2013177 (2013)"},{"issue":"4","key":"11_CR28","first-page":"543","volume":"21","author":"H. Zhang","year":"1996","unstructured":"Zhang, H., Bonacina, M.P., Hsiang, J.: PSATO: a Distributed Propositional Prover and its Application to Quasigroup Problems. JSC\u00a021(4), 543\u2013560 (1996)","journal-title":"JSC"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-04132-2_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,25]],"date-time":"2019-05-25T04:44:25Z","timestamp":1558759465000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-04132-2_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319041315","9783319041322"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-04132-2_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}