{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:53:08Z","timestamp":1740099188436,"version":"3.37.3"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030008000"},{"type":"electronic","value":"9783030008017"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"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":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-030-00801-7_1","type":"book-chapter","created":{"date-parts":[[2018,9,25]],"date-time":"2018-09-25T23:02:38Z","timestamp":1537916558000},"page":"3-19","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Constraint Solving on Hybrid Systems"],"prefix":"10.1007","author":[{"given":"Pedro","family":"Roque","sequence":"first","affiliation":[]},{"given":"Vasco","family":"Pedro","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,9,27]]},"reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"Arbelaez, A., Codognet, P.: A GPU implementation of parallel constraint-based local search. In: 2014 22nd Euromicro International Conference on PDP, pp. 648\u2013655. IEEE (2014)","DOI":"10.1109\/PDP.2014.28"},{"issue":"3","key":"1_CR2","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/s10601-011-9109-4","volume":"16","author":"R Bart\u00e1k","year":"2011","unstructured":"Bart\u00e1k, R., Salido, M.A.: Constraint satisfaction for planning and scheduling problems. Constraints 16(3), 223\u2013227 (2011)","journal-title":"Constraints"},{"key":"1_CR3","doi-asserted-by":"publisher","first-page":"557","DOI":"10.1016\/S0377-2217(98)00364-6","volume":"119","author":"S Brailsford","year":"1999","unstructured":"Brailsford, S., Potts, C., Smith, B.: Constraint satisfaction problems: algorithms and applications. Eur. J. Oper. Res. 119, 557\u2013581 (1999)","journal-title":"Eur. J. Oper. Res."},{"key":"1_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/978-3-319-04132-2_11","volume-title":"Practical Aspects of Declarative Languages","author":"F Campeotto","year":"2014","unstructured":"Campeotto, F., Dal Pal\u00f9, A., Dovier, A., Fioretto, F., Pontelli, E.: Exploring the use of GPUs in constraint solving. In: Flatt, M., Guo, H.-F. (eds.) PADL 2014. LNCS, vol. 8324, pp. 152\u2013167. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-04132-2_11"},{"key":"1_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/978-3-642-04244-7_20","volume-title":"Principles and Practice of Constraint Programming - CP 2009","author":"G Chu","year":"2009","unstructured":"Chu, G., Schulte, C., Stuckey, P.J.: Confidence-based work stealing in parallel constraint programming. In: Gent, I.P. (ed.) CP 2009. LNCS, vol. 5732, pp. 226\u2013241. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-04244-7_20"},{"key":"1_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"378","DOI":"10.1007\/978-3-642-34413-8_31","volume-title":"Learning and Intelligent Optimization","author":"D Diaz","year":"2012","unstructured":"Diaz, D., Richoux, F., Codognet, P., Caniou, Y., Abreu, S.: Constraint-based local search for the costas array problem. In: Hamadi, Y., Schoenauer, M. (eds.) LION 2012. LNCS, pp. 378\u2013383. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-34413-8_31"},{"issue":"1","key":"1_CR7","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1016\/j.eswa.2011.07.027","volume":"39","author":"C Filho","year":"2012","unstructured":"Filho, C., Rocha, D., Costa, M., Albuquerque, P.: Using constraint satisfaction problem approach to solve human resource allocation problems in cooperative health services. Expert Syst. Appl. 39(1), 385\u2013394 (2012)","journal-title":"Expert Syst. Appl."},{"key":"1_CR8","volume-title":"Heterogeneous Computing with OpenCL","author":"B Gaster","year":"2011","unstructured":"Gaster, B., Howes, L., Kaeli, D., Mistry, P., Schaa, D.: Heterogeneous Computing with OpenCL. Morgan Kaufmann Publishers Inc., San Francisco (2011)"},{"key":"1_CR9","unstructured":"Jefferson, C., Miguel, I., Hnich, B., Walsh, T., Gent, I.P.: CSPLib: a problem library for constraints (1999). http:\/\/www.csplib.org"},{"key":"1_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1007\/978-3-642-23397-5_42","volume-title":"Euro-Par 2011 Parallel Processing","author":"J Jenkins","year":"2011","unstructured":"Jenkins, J., Arkatkar, I., Owens, J.D., Choudhary, A., Samatova, N.F.: Lessons learned from exploring the backtracking paradigm on the GPU. In: Jeannot, E., Namyst, R., Roman, J. (eds.) Euro-Par 2011. LNCS, vol. 6853, pp. 425\u2013437. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-23397-5_42"},{"key":"1_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/978-3-319-07046-9_17","volume-title":"Integration of AI and OR Techniques in Constraint Programming","author":"J-B Mairy","year":"2014","unstructured":"Mairy, J.-B., Deville, Y., Lecoutre, C.: Domain k-wise consistency made as simple as generalized arc consistency. In: Simonis, H. (ed.) CPAIOR 2014. LNCS, vol. 8451, pp. 235\u2013250. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-07046-9_17"},{"key":"1_CR12","unstructured":"MIT: a suite of minizinc benchmarks (2017). https:\/\/github.com\/MiniZinc\/minizinc-benchmarks"},{"key":"1_CR13","volume-title":"OpenCL Programming Guide","author":"A Munshi","year":"2011","unstructured":"Munshi, A., Gaster, B., Mattson, T.G., Fung, J., Ginsburg, D.: OpenCL Programming Guide, 1st edn. Addison-Wesley Professional, Boston (2011)","edition":"1"},{"key":"1_CR14","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. 4741, pp. 529\u2013543. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-74970-7_38"},{"key":"1_CR15","unstructured":"NVIDIA Corporation: NVIDIA GeForce GTX 980 featuring maxwell, the most advanced GPU ever made. White paper. NVIDIA Corporation (2014)"},{"key":"1_CR16","unstructured":"Pedro, V.: Constraint programming on hierarchical multiprocessor systems. Ph.D. thesis, Universidade de \u00c9vora (2012)"},{"key":"1_CR17","unstructured":"Pedro, V., Abreu, S.: Distributed work stealing for constraint solving. In: Vidal, G., Zhou, N.F. (eds.) CICLOPS-WLPE 2010, Edinburgh, Scotland, U.K. (2010)"},{"key":"1_CR18","doi-asserted-by":"crossref","unstructured":"Rolf, C.C., Kuchcinski, K.: Load-balancing methods for parallel and distributed constraint solving. In: 2008 IEEE International Conference on Cluster Computing, pp. 304\u2013309, September 2008","DOI":"10.1109\/CLUSTR.2008.4663786"},{"key":"1_CR19","unstructured":"Rolf, C.C., Kuchcinski, K.: Parallel solving in constraint programming. In: MCC 2010, November 2010"},{"key":"1_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"596","DOI":"10.1007\/978-3-642-40627-0_45","volume-title":"Principles and Practice of Constraint Programming","author":"J-C R\u00e9gin","year":"2013","unstructured":"R\u00e9gin, J.-C., Rezgui, M., Malapert, A.: Embarrassingly parallel search. In: Schulte, C. (ed.) CP 2013. LNCS, vol. 8124, pp. 596\u2013610. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-40627-0_45"},{"key":"1_CR21","unstructured":"Schulte, C.: Parallel search made simple. In: Beldiceanu, N., et al. (eds.) Proceedings of TRICS: CP 2000, Singapore, September 2000"},{"key":"1_CR22","unstructured":"Schulte, C., Duchier, D., Konvicka, F., Szokoli, G., Tack, G.: Generic constraint development environment. http:\/\/www.gecode.org\/"}],"container-title":["Lecture Notes in Computer Science","Declarative Programming and Knowledge Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-00801-7_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,24]],"date-time":"2019-10-24T17:42:55Z","timestamp":1571938975000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-00801-7_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030008000","9783030008017"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-00801-7_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"INAP","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Applications of Declarative Programming and Knowledge Management","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"W\u00fcrzburg","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Germany","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 September 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 September 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"inap2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/declare17.de\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}