{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T03:17:53Z","timestamp":1740107873108,"version":"3.37.3"},"reference-count":43,"publisher":"Springer Science and Business Media LLC","issue":"18","license":[{"start":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T00:00:00Z","timestamp":1648684800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T00:00:00Z","timestamp":1648684800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"DOI":"10.13039\/501100001824","name":"grantov\u00e1 agentura cesk\u00e9 republiky","doi-asserted-by":"publisher","award":["P403-20-17529S"],"award-info":[{"award-number":["P403-20-17529S"]}],"id":[{"id":"10.13039\/501100001824","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100007543","name":"grantov\u00e1 agentura, univerzita karlova","doi-asserted-by":"publisher","award":["180420"],"award-info":[{"award-number":["180420"]}],"id":[{"id":"10.13039\/100007543","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001824","name":"grantov\u00e1 agentura cesk\u00e9 republiky","doi-asserted-by":"publisher","award":["P403-20-17529S"],"award-info":[{"award-number":["P403-20-17529S"]}],"id":[{"id":"10.13039\/501100001824","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Soft Comput"],"published-print":{"date-parts":[[2023,9]]},"DOI":"10.1007\/s00500-022-06971-7","type":"journal-article","created":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T10:03:51Z","timestamp":1648721031000},"page":"12897-12912","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["New pruning tests for the branch-and-prune framework for interval parametric linear systems"],"prefix":"10.1007","volume":"27","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1761-897X","authenticated-orcid":false,"given":"Miroslav","family":"Rada","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3052-5970","authenticated-orcid":false,"given":"Elif","family":"Garajov\u00e1","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0672-4339","authenticated-orcid":false,"given":"Jaroslav","family":"Hor\u00e1\u010dek","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7340-8491","authenticated-orcid":false,"given":"Milan","family":"Hlad\u00edk","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,3,31]]},"reference":[{"key":"6971_CR1","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/s11155-005-0040-5","volume":"11","author":"R Akhmerov","year":"2005","unstructured":"Akhmerov R (2005) Interval-Affine Gaussian algorithm for constrained systems. Reliab Comput 11:323\u2013341. https:\/\/doi.org\/10.1007\/s11155-005-0040-5","journal-title":"Reliab Comput"},{"issue":"1","key":"6971_CR2","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1002\/mana.19981920103","volume":"192","author":"G Alefeld","year":"1998","unstructured":"Alefeld G, Kreinovich V, Mayer G (1998) The shape of the solution set for systems of interval linear equations with dependent coefficients. Mathematische Nachrichten 192(1):23\u201336. https:\/\/doi.org\/10.1002\/mana.19981920103","journal-title":"Mathematische Nachrichten"},{"issue":"1","key":"6971_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0377-0427(02)00693-3","volume":"152","author":"G Alefeld","year":"2003","unstructured":"Alefeld G, Kreinovich V, Mayer G (2003) On the solution sets of particular classes of linear interval systems. J Comput Appl Math 152(1):1\u201315. https:\/\/doi.org\/10.1016\/S0377-0427(02)00693-3","journal-title":"J Comput Appl Math"},{"key":"6971_CR4","unstructured":"Beeck H (1978) Linear programming with inexact data. Tech. Rep. TUM-ISU-7830, Technische Universit\u00e4t M\u00fcnchen. Institut f\u00fcr Statistik und Unternehmensforschung"},{"key":"6971_CR5","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/978-3-642-29952-0_19","volume-title":"LNCS","author":"M \u010cern\u00fd","year":"2012","unstructured":"\u010cern\u00fd M, Rada M (2012) Polynomial time construction of ellipsoidal approximations of zonotopes given by generator descriptions. LNCS. Springer, Berlin, pp 156\u2013163. https:\/\/doi.org\/10.1007\/978-3-642-29952-0_19"},{"key":"6971_CR6","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1007\/s10287-021-00392-x","volume":"18","author":"S Chaiyakan","year":"2021","unstructured":"Chaiyakan S, Thipwiwatpotjana P (2021) Bounds on mean absolute deviation portfolios under interval-valued expected future asset returns. Comput Manag Sci 18:195\u2013212. https:\/\/doi.org\/10.1007\/s10287-021-00392-x","journal-title":"Comput Manag Sci"},{"issue":"102","key":"6971_CR7","doi-asserted-by":"publisher","first-page":"059","DOI":"10.1016\/j.omega.2019.04.002","volume":"95","author":"C D\u2019Ambrosio","year":"2020","unstructured":"D\u2019Ambrosio C, Gentili M, Cerulli R (2020) The optimal value range problem for the interval (immune) transportation problem. Omega 95(102):059. https:\/\/doi.org\/10.1016\/j.omega.2019.04.002","journal-title":"Omega"},{"issue":"1","key":"6971_CR8","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/s10589-018-0029-8","volume":"72","author":"E Garajov\u00e1","year":"2019","unstructured":"Garajov\u00e1 E, Hlad\u00edk M (2019) On the optimal solution set in interval linear programming. Comput Optim Appl 72(1):269\u2013292. https:\/\/doi.org\/10.1007\/s10589-018-0029-8","journal-title":"Comput Optim Appl"},{"key":"6971_CR9","doi-asserted-by":"publisher","unstructured":"Garajov\u00e1 E, Hlad\u00edk M, Rada M (2017). In: Sforza A, Sterle C (eds) On the properties of interval linear programs with a fixed coefficient matrix, vol 217. Springer, Cham, pp 393\u2013401. https:\/\/doi.org\/10.1007\/978-3-319-67308-0_40","DOI":"10.1007\/978-3-319-67308-0_40"},{"issue":"4","key":"6971_CR10","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1007\/s11155-007-9033-x","volume":"13","author":"M Hlad\u00edk","year":"2007","unstructured":"Hlad\u00edk M (2007) Solution set characterization of linear interval systems with a specific dependence structure. Reliab Comput 13(4):361\u2013374. https:\/\/doi.org\/10.1007\/s11155-007-9033-x","journal-title":"Reliab Comput"},{"issue":"3","key":"6971_CR11","doi-asserted-by":"publisher","first-page":"561","DOI":"10.2478\/v10006-012-0043-4","volume":"22","author":"M Hlad\u00edk","year":"2012","unstructured":"Hlad\u00edk M (2012) Enclosures for the solution set of parametric interval linear systems. Int J Appl Math Comput Sci 22(3):561\u2013574. https:\/\/doi.org\/10.2478\/v10006-012-0043-4","journal-title":"Int J Appl Math Comput Sci"},{"key":"6971_CR12","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/978-3-030-40814-5_14","volume-title":"Decision making under constraints, studies in systems, decision and control","author":"M Hlad\u00edk","year":"2020","unstructured":"Hlad\u00edk M (2020) P-completeness of testing solutions of parametric interval linear systems. In: Ceberio M, Kreinovich V (eds) Decision making under constraints, studies in systems, decision and control. Springer, Berlin, pp 117\u2013123. https:\/\/doi.org\/10.1007\/978-3-030-40814-5_14"},{"key":"6971_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.laa.2019.03.019","volume":"574","author":"M Hlad\u00edk","year":"2019","unstructured":"Hlad\u00edk M, Skalna I (2019) Relations between various methods for solving linear interval and parametric equations. Linear Algebra Appl 574:1\u201321. https:\/\/doi.org\/10.1016\/j.laa.2019.03.019","journal-title":"Linear Algebra Appl"},{"key":"6971_CR14","unstructured":"Hor\u00e1\u010dek J (2019) Interval toolbox - LIME. https:\/\/kam.mff.cuni.cz\/~horacek\/lime.html"},{"issue":"3","key":"6971_CR15","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/BF02238302","volume":"46","author":"C Jansson","year":"1991","unstructured":"Jansson C (1991) Interval linear systems with symmetric matrices, skew-symmetric matrices and dependencies in the right hand side. Computing 46(3):265\u2013274. https:\/\/doi.org\/10.1007\/BF02238302","journal-title":"Computing"},{"key":"6971_CR16","unstructured":"Jasi\u0144ski M, Pownuk A (2000) Modelling of heat transfer in biological tissue by interval FEM. pp 551\u2013558"},{"key":"6971_CR17","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-0249-6","volume-title":"Applied interval analysis","author":"L Jaulin","year":"2001","unstructured":"Jaulin L, Kieffer M, Didrit O et al (2001) Applied interval analysis. Springer, London. https:\/\/doi.org\/10.1007\/978-1-4471-0249-6"},{"issue":"3","key":"6971_CR18","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/s11155-006-7218-3","volume":"12","author":"LV Kolev","year":"2006","unstructured":"Kolev LV (2006) Improvement of a direct method for outer solution of linear parametric systems. Reliab Comput 12(3):193\u2013202. https:\/\/doi.org\/10.1007\/s11155-006-7218-3","journal-title":"Reliab Comput"},{"key":"6971_CR19","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1016\/j.amc.2014.08.037","volume":"246","author":"LV Kolev","year":"2014","unstructured":"Kolev LV (2014) Parameterized solution of linear interval parametric systems. Appl Math Comput 246:229\u2013246. https:\/\/doi.org\/10.1016\/j.amc.2014.08.037","journal-title":"Appl Math Comput"},{"issue":"4","key":"6971_CR20","first-page":"443","volume":"5","author":"Z Kulpa","year":"1998","unstructured":"Kulpa Z, Pownuk A, Skalna I (1998) Analysis of linear mechanical structures with uncertainties by means of interval methods. Comput Assist Mech Eng Sci 5(4):443\u2013477","journal-title":"Comput Assist Mech Eng Sci"},{"issue":"3","key":"6971_CR21","doi-asserted-by":"publisher","first-page":"979","DOI":"10.1137\/120867895","volume":"33","author":"G Mayer","year":"2012","unstructured":"Mayer G (2012) An oettli-prager-like theorem for the symmetric solution set and for related solution sets. SIAM J Matrix Anal Appl 33(3):979\u2013999. https:\/\/doi.org\/10.1137\/120867895","journal-title":"SIAM J Matrix Anal Appl"},{"issue":"105","key":"6971_CR22","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1016\/j.cor.2020.105160","volume":"129","author":"M Mohammadi","year":"2021","unstructured":"Mohammadi M, Gentili M (2021) The outcome range problem in interval linear programming. Comput Op Res 129(105):160. https:\/\/doi.org\/10.1016\/j.cor.2020.105160","journal-title":"Comput Op Res"},{"key":"6971_CR23","doi-asserted-by":"publisher","DOI":"10.1137\/1:9780898717716","author":"RE Moore","year":"2009","unstructured":"Moore RE, Kearfott RB, Cloud MJ (2009) Introduction to interval analysis. Soc Indus Appl Math. https:\/\/doi.org\/10.1137\/1:9780898717716","journal-title":"Soc Indus Appl Math"},{"key":"6971_CR24","doi-asserted-by":"publisher","first-page":"557","DOI":"10.1061\/(ASCE)0733-9399(2001)127:6(557)","volume":"127","author":"R Muhanna","year":"2001","unstructured":"Muhanna R, Mullen R (2001) Uncertainty in mechanics problems-interval-based approach. J Eng Mech 127:557\u2013566. https:\/\/doi.org\/10.1061\/(ASCE)0733-9399(2001)127:6(557)","journal-title":"J Eng Mech"},{"key":"6971_CR25","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1007\/978-3-642-54108-7_17","volume-title":"Verified software: theories, tools, experiments","author":"A Narkawicz","year":"2014","unstructured":"Narkawicz A, Mu\u00f1oz C (2014) A formally verified generic branching algorithm for global optimization. In: Cohen E, Rybalchenko A (eds) Verified software: theories, tools, experiments. Springer, Berlin, pp 326\u2013343"},{"issue":"2","key":"6971_CR26","doi-asserted-by":"publisher","first-page":"021014","DOI":"10.1115\/1.4031657","volume":"8","author":"V Nazari","year":"2015","unstructured":"Nazari V, Notash L (2015) Motion analysis of manipulators with uncertainty in kinematic parameters. J Mech Robot 8(2):021014. https:\/\/doi.org\/10.1115\/1.4031657","journal-title":"J Mech Robot"},{"issue":"1","key":"6971_CR27","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1007\/BF01386090","volume":"6","author":"W Oettli","year":"1964","unstructured":"Oettli W, Prager W (1964) Compatibility of approximate solution of linear equations with given error bounds for coefficients and right-hand sides. Numer Math 6(1):405\u2013409. https:\/\/doi.org\/10.1007\/BF01386090","journal-title":"Numer Math"},{"issue":"2","key":"6971_CR28","doi-asserted-by":"publisher","first-page":"115","DOI":"10.11540\/bjsiam.3.2_115","volume":"3","author":"K Okumura","year":"1993","unstructured":"Okumura K (1993) An application of interval operation to electric network analysis. Bullet Japan Soc Indus Appl Math 3(2):115\u2013127. https:\/\/doi.org\/10.11540\/bjsiam.3.2_115","journal-title":"Bullet Japan Soc Indus Appl Math"},{"issue":"1\u20134","key":"6971_CR29","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1023\/B:NUMA.0000049480.57066.fa","volume":"37","author":"ED Popova","year":"2004","unstructured":"Popova ED (2004) Parametric interval linear solver. Numer Algorithms 37(1\u20134):345\u2013356. https:\/\/doi.org\/10.1023\/B:NUMA.0000049480.57066.fa","journal-title":"Numer Algorithms"},{"issue":"10","key":"6971_CR30","first-page":"1207","volume":"62","author":"ED Popova","year":"2009","unstructured":"Popova ED (2009) Explicit characterization of a class of parametric solution sets. Comptes Rendus de L\u2019Academie Bulgare des Sciences 62(10):1207\u20131216","journal-title":"Comptes Rendus de L\u2019Academie Bulgare des Sciences"},{"issue":"4","key":"6971_CR31","doi-asserted-by":"publisher","first-page":"1172","DOI":"10.1137\/120870359","volume":"33","author":"ED Popova","year":"2012","unstructured":"Popova ED (2012) Explicit description of AE solution sets for parametric linear systems. SIAM J Matrix Anal Appl 33(4):1172\u20131189. https:\/\/doi.org\/10.1137\/120870359","journal-title":"SIAM J Matrix Anal Appl"},{"issue":"2","key":"6971_CR32","doi-asserted-by":"publisher","first-page":"615","DOI":"10.1137\/140966459","volume":"36","author":"ED Popova","year":"2015","unstructured":"Popova ED (2015) Solvability of parametric interval linear systems of equations and inequalities. SIAM J Matrix Anal Appl 36(2):615\u2013633. https:\/\/doi.org\/10.1137\/140966459","journal-title":"SIAM J Matrix Anal Appl"},{"issue":"1","key":"6971_CR33","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/s10543-007-0159-3","volume":"48","author":"ED Popova","year":"2008","unstructured":"Popova ED, Kr\u00e4mer W (2008) Visualizing parametric solution sets. Bit Numer Math 48(1):95\u2013115. https:\/\/doi.org\/10.1007\/s10543-007-0159-3","journal-title":"Bit Numer Math"},{"issue":"1","key":"6971_CR34","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1109\/TPWRS.2011.2162859","volume":"27","author":"C Rakpenthai","year":"2012","unstructured":"Rakpenthai C, Uatrongjit S, Premrudeepreechacharn S (2012) State estimation of power system considering network parameter uncertainty based on parametric interval linear systems. IEEE Trans Power Syst 27(1):305\u2013313. https:\/\/doi.org\/10.1109\/TPWRS.2011.2162859","journal-title":"IEEE Trans Power Syst"},{"issue":"2","key":"6971_CR35","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1137\/S0895479893251198","volume":"16","author":"J Rohn","year":"1995","unstructured":"Rohn J, Kreinovich V (1995) Computing exact componentwise bounds on solutions of linear systems with interval data is NP-hard. SIAM J Matrix Anal Appl 16(2):415\u2013420. https:\/\/doi.org\/10.1137\/S0895479893251198","journal-title":"SIAM J Matrix Anal Appl"},{"key":"6971_CR36","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1017\/S096249291000005X","volume":"19","author":"SM Rump","year":"2010","unstructured":"Rump SM (2010) Verification methods: rigorous results using floating-point arithmetic. Acta Numer 19:287\u2013449. https:\/\/doi.org\/10.1017\/S096249291000005X","journal-title":"Acta Numer"},{"key":"6971_CR37","first-page":"345","volume":"15","author":"IA Sharaya","year":"2011","unstructured":"Sharaya IA, Shary SP (2011) Tolerable solution set for interval linear systems with constraints on coefficients. Reliab Comput 15:345\u2013357","journal-title":"Reliab Comput"},{"key":"6971_CR38","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1007\/978-3-540-70942-8_43","volume-title":"Numerical methods and applications","author":"I Skalna","year":"2007","unstructured":"Skalna I (2007) Evolutionary optimization method for approximating the solution set hull of parametric linear systems. In: Boyanov T, Dimova S, Georgiev K et al (eds) Numerical methods and applications. Springer, Berlin, pp 361\u2013368. https:\/\/doi.org\/10.1007\/978-3-540-70942-8_43"},{"key":"6971_CR39","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-75187-0","volume-title":"Parametric interval algebraic systems, studies in computational intelligence","author":"I Skalna","year":"2018","unstructured":"Skalna I (2018) Parametric interval algebraic systems, studies in computational intelligence, vol 766. Springer International Publishing, Cham. https:\/\/doi.org\/10.1007\/978-3-319-75187-0"},{"issue":"4","key":"6971_CR40","doi-asserted-by":"publisher","first-page":"1109","DOI":"10.1007\/s10543-017-0679-4","volume":"57","author":"I Skalna","year":"2017","unstructured":"Skalna I, Hlad\u00edk M (2017) A new method for computing a p-solution to parametric interval linear systems with affine-linear and nonlinear dependencies. BIT Numer Math 57(4):1109\u20131136. https:\/\/doi.org\/10.1007\/s10543-017-0679-4","journal-title":"BIT Numer Math"},{"issue":"3","key":"6971_CR41","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1002\/nla.2229","volume":"26","author":"I Skalna","year":"2019","unstructured":"Skalna I, Hlad\u00edk M (2019) Direct and iterative methods for interval parametric algebraic systems producing parametric solutions. Numer Linear Algebra Appl 26(3):1\u201324. https:\/\/doi.org\/10.1002\/nla.2229","journal-title":"Numer Linear Algebra Appl"},{"key":"6971_CR42","volume-title":"Nonlinear optimization: complexity issues","author":"SA Vavasis","year":"1991","unstructured":"Vavasis SA (1991) Nonlinear optimization: complexity issues. Oxford University Press, New York"},{"issue":"2\u20134","key":"6971_CR43","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/s00607-011-0170-z","volume":"94","author":"M Zimmer","year":"2012","unstructured":"Zimmer M, Kr\u00e4mer W, Popova ED (2012) Solvers for the verified solution of parametric linear systems. Computing 94(2\u20134):109\u2013123. https:\/\/doi.org\/10.1007\/s00607-011-0170-z","journal-title":"Computing"}],"container-title":["Soft Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-022-06971-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00500-022-06971-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-022-06971-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,26]],"date-time":"2023-07-26T13:21:45Z","timestamp":1690377705000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00500-022-06971-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,3,31]]},"references-count":43,"journal-issue":{"issue":"18","published-print":{"date-parts":[[2023,9]]}},"alternative-id":["6971"],"URL":"https:\/\/doi.org\/10.1007\/s00500-022-06971-7","relation":{},"ISSN":["1432-7643","1433-7479"],"issn-type":[{"type":"print","value":"1432-7643"},{"type":"electronic","value":"1433-7479"}],"subject":[],"published":{"date-parts":[[2022,3,31]]},"assertion":[{"value":"23 February 2022","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"31 March 2022","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors have no conflicts of interest to declare that are relevant to the content of this article.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}},{"value":"This article does not contain any studies with human participants or animals performed by any of the authors.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Ethical approval \/ Informed consent"}}]}}