{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:50:43Z","timestamp":1740099043464,"version":"3.37.3"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319780535"},{"type":"electronic","value":"9783319780542"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","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-319-78054-2_36","type":"book-chapter","created":{"date-parts":[[2018,3,22]],"date-time":"2018-03-22T05:01:34Z","timestamp":1521694894000},"page":"381-390","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Role of Hull-Consistency in the HIBA_USNE Multithreaded Solver for\u00a0Nonlinear Systems"],"prefix":"10.1007","author":[{"given":"Bart\u0142omiej Jacek","family":"Kubica","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,3,23]]},"reference":[{"key":"36_CR1","unstructured":"Realpaver: Nonlinear constraint solving and rigorous global optimization (2014). \nhttp:\/\/pagesperso.lina.univ-nantes.fr\/info\/perso\/permanents\/granvil\/realpaver\/"},{"key":"36_CR2","unstructured":"C++ eXtended Scientific Computing library (2015). \nhttp:\/\/www.xsc.de"},{"key":"36_CR3","unstructured":"Intel TBB (2015). \nhttp:\/\/www.threadingbuildingblocks.org"},{"key":"36_CR4","unstructured":"MICLAB project (2015). \nhttp:\/\/miclab.pl"},{"key":"36_CR5","unstructured":"ADHC, C++ library (2017). \nhttps:\/\/www.researchgate.net\/publication\/316610415_ADHC_Algorithmic_Differentiation_and_Hull_Consistency_Alfa-05"},{"key":"36_CR6","unstructured":"HIBA_USNE, C++ library (2017). \nhttps:\/\/www.researchgate.net\/publication\/316687827_HIBA_USNE_Heuristical_Interval_Branch-and-prune_Algorithm_for_Underdetermined_and_well-determined_Systems_of_Nonlinear_Equations_-_Beta_25"},{"key":"36_CR7","unstructured":"Benhamou, F., Goualard, F., Granvilliers, L., Puget, J.F.: Revising hull and box consistency. In: International Conference on Logic Programming, pp. 230\u2013244. The MIT Press (1999)"},{"key":"36_CR8","unstructured":"Benhamou, F., McAllester, D., Hentenryck, P.V.: CLP (intervals) revisited. In: Logic Programming, Proceedings of the 1994 International Symposium, pp. 124\u2013138. The MIT Press (1994)"},{"issue":"1\u20132","key":"36_CR9","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1007\/s10601-007-9027-7","volume":"13","author":"F Goualard","year":"2008","unstructured":"Goualard, F., Jermann, C.: A reinforcement learning approach to interval constraint propagation. Constraints 13(1\u20132), 206\u2013226 (2008)","journal-title":"Constraints"},{"issue":"6","key":"36_CR10","doi-asserted-by":"crossref","first-page":"467","DOI":"10.1023\/A:1014750702474","volume":"7","author":"L Granvilliers","year":"2001","unstructured":"Granvilliers, L.: On the combination of interval constraint solvers. Reliable Comput. 7(6), 467\u2013483 (2001)","journal-title":"Reliable Comput."},{"issue":"2","key":"36_CR11","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1023\/A:1011266226870","volume":"20","author":"L Granvilliers","year":"2001","unstructured":"Granvilliers, L., Benhamou, F.: Progress in the solving of a circuit design problem. J. Global Optim. 20(2), 155\u2013168 (2001)","journal-title":"J. Global Optim."},{"key":"36_CR12","volume-title":"Global Optimization Using Interval Analysis","author":"E Hansen","year":"2004","unstructured":"Hansen, E., Walster, W.: Global Optimization Using Interval Analysis. Marcel Dekker, New York (2004)"},{"key":"36_CR13","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-2495-0","volume-title":"Rigorous Global Search: Continuous Problems","author":"RB Kearfott","year":"1996","unstructured":"Kearfott, R.B.: Rigorous Global Search: Continuous Problems. Kluwer, Dordrecht (1996)"},{"issue":"1","key":"36_CR14","first-page":"7","volume":"15","author":"RB Kearfott","year":"2010","unstructured":"Kearfott, R.B., Nakao, M.T., Neumaier, A., Rump, S.M., Shary, S.P., van Hentenryck, P.: Standardized notation in interval analysis. Vychislennyie Tiehnologii (Comput. Technol.) 15(1), 7\u201313 (2010)","journal-title":"Vychislennyie Tiehnologii (Comput. Technol.)"},{"key":"36_CR15","first-page":"207","volume":"15","author":"BJ Kubica","year":"2011","unstructured":"Kubica, B.J.: Interval methods for solving underdetermined nonlinear equations systems. Reliable Comput. 15, 207\u2013217 (2011)","journal-title":"Reliable Comput."},{"key":"36_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"467","DOI":"10.1007\/978-3-642-31500-8_48","volume-title":"Parallel Processing and Applied Mathematics","author":"BJ Kubica","year":"2012","unstructured":"Kubica, B.J.: Tuning the multithreaded interval method for solving underdetermined systems of nonlinear equations. In: Wyrzykowski, R., Dongarra, J., Karczewski, K., Wa\u015bniewski, J. (eds.) PPAM 2011. LNCS, vol. 7204, pp. 467\u2013476. Springer, Heidelberg (2012). \nhttps:\/\/doi.org\/10.1007\/978-3-642-31500-8_48"},{"issue":"4","key":"36_CR17","first-page":"385","volume":"19","author":"BJ Kubica","year":"2014","unstructured":"Kubica, B.J.: Excluding regions using Sobol sequences in an interval branch-and-prune method for nonlinear systems. Reliable Comput. 19(4), 385\u2013397 (2014)","journal-title":"Reliable Comput."},{"key":"36_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"623","DOI":"10.1007\/978-3-642-55195-6_59","volume-title":"Parallel Processing and Applied Mathematics","author":"BJ Kubica","year":"2014","unstructured":"Kubica, B.J.: Using quadratic approximations in an interval method for solving underdetermined and well-determined nonlinear systems. In: Wyrzykowski, R., Dongarra, J., Karczewski, K., Wa\u015bniewski, J. (eds.) PPAM 2013. LNCS, vol. 8385, pp. 623\u2013633. Springer, Heidelberg (2014). \nhttps:\/\/doi.org\/10.1007\/978-3-642-55195-6_59"},{"issue":"4","key":"36_CR19","doi-asserted-by":"crossref","first-page":"929","DOI":"10.1007\/s11075-015-9980-y","volume":"70","author":"BJ Kubica","year":"2015","unstructured":"Kubica, B.J.: Presentation of a highly tuned multithreaded interval solver for underdetermined and well-determined nonlinear systems. Numer. Algorithms 70(4), 929\u2013963 (2015)","journal-title":"Numer. Algorithms"},{"key":"36_CR20","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/j.jpdc.2017.03.009","volume":"107","author":"BJ Kubica","year":"2017","unstructured":"Kubica, B.J.: Parallelization of a bound-consistency enforcing procedure and its application in solving nonlinear systems. J. Parallel Distrib. Comput. 107, 57\u201366 (2017)","journal-title":"J. Parallel Distrib. Comput."}],"container-title":["Lecture Notes in Computer Science","Parallel Processing and Applied Mathematics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-78054-2_36","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,3,22]],"date-time":"2018-03-22T05:17:15Z","timestamp":1521695835000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-78054-2_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319780535","9783319780542"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-78054-2_36","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}