{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,22]],"date-time":"2025-11-22T06:48:40Z","timestamp":1763794120880,"version":"3.45.0"},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:00:00Z","timestamp":1761609600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:00:00Z","timestamp":1761609600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Glob Optim"],"published-print":{"date-parts":[[2025,11]]},"DOI":"10.1007\/s10898-025-01557-7","type":"journal-article","created":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T07:50:46Z","timestamp":1761637846000},"page":"733-745","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Covering a rectangle with 6 circles: a reliable mathematical programming approach"],"prefix":"10.1007","volume":"93","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4578-8394","authenticated-orcid":false,"given":"Sonia","family":"Cafieri","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6457-3321","authenticated-orcid":false,"given":"Fr\u00e9d\u00e9ric","family":"Messine","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,10,28]]},"reference":[{"issue":"6","key":"1557_CR1","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1051\/ro:2004026","volume":"38","author":"C Audet","year":"2007","unstructured":"Audet, C., Hansen, P., Messine, F.: Extremal problems for convex polygons. J. Glob. Optim. 38(6), 163\u2013179 (2007). https:\/\/doi.org\/10.1051\/ro:2004026","journal-title":"J. Glob. Optim."},{"key":"1557_CR2","doi-asserted-by":"crossref","unstructured":"Belotti, P., Lee, J., Liberti, L., Margot, F., Wachter, A.: Branching and bounds tightening techniques for non-convex MINLP. Optimization Methods and Software 24, 597\u2013634 (2009). https:\/\/doi.org\/10.1080\/10556780903087124","DOI":"10.1080\/10556780903087124"},{"key":"1557_CR3","doi-asserted-by":"publisher","unstructured":"Cafieri, S., Hansen, P., Messine, F.: Global exact optimization for covering a rectangle with 6 circles. J. Glob. Optim. 83, 163\u2013185 (2022). https:\/\/doi.org\/10.1007\/s10898-021-01007-0","DOI":"10.1007\/s10898-021-01007-0"},{"key":"1557_CR4","doi-asserted-by":"publisher","unstructured":"Frommer, A.: Proving Conjectures by Use of Interval Arithmetic, pp. 1\u201312. Springer Vienna, Vienna (2001). https:\/\/doi.org\/10.1007\/978-3-7091-6282-8_1","DOI":"10.1007\/978-3-7091-6282-8_1"},{"key":"1557_CR5","doi-asserted-by":"crossref","unstructured":"Hale, T., Adams, M., Bauer, G., Dang, T.D., Harrison, J., Hoang, L.T., Kaliszyk, C., Magron, V., McLaughlin, S., Nguyen, T.T., Nguyen, Q.T., Nipkow, T., Obua, S., Pleso, J., Rute, J., Solovyev, A., An, T.H., Trung, N., Trieu, T.D., Urban, J., Vu, K., Zumkeller, R.: A formal proof of the Kepler conjecture. Forum of Mathematics 5, e2 (2017)","DOI":"10.1017\/fmp.2017.1"},{"key":"1557_CR6","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1023\/A:1004224507766","volume":"34","author":"A Heppes","year":"1997","unstructured":"Heppes, A., Melissen, J.: Covering a rectangle with equal circles. Period. Math. Hung. 34, 65\u201381 (1997)","journal-title":"Period. Math. Hung."},{"key":"1557_CR7","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1080\/0025570X.1997.11996514","volume":"70","author":"H Melissen","year":"1997","unstructured":"Melissen, H.: Loosest circle coverings of an equilateral triangle. Math. Mag. 70, 118\u2013124 (1997)","journal-title":"Math. Mag."},{"key":"1557_CR8","doi-asserted-by":"publisher","DOI":"10.37236\/1256","volume-title":"Improved coverings of a square with six and eight equal circles","author":"J Melissen","year":"1996","unstructured":"Melissen, J., Schuur, P.: Improved coverings of a square with six and eight equal circles. Electronic J, Combin (1996)"},{"key":"1557_CR9","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/S0166-218X(99)00130-4","volume":"99","author":"J Melissen","year":"2000","unstructured":"Melissen, J., Schuur, P.: Covering a rectangle with six and seven circles. Discret. Appl. Math. 99, 149\u2013156 (2000)","journal-title":"Discret. Appl. Math."},{"issue":"4","key":"1557_CR10","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1051\/ro:2004026","volume":"38","author":"F Messine","year":"2004","unstructured":"Messine, F.: Deterministic global optimization using interval constraint propagation techniques. RAIRO-Oper. Res. 38(4), 277\u2013293 (2004). https:\/\/doi.org\/10.1051\/ro:2004026","journal-title":"RAIRO-Oper. Res."},{"key":"1557_CR11","doi-asserted-by":"publisher","unstructured":"Messine, F.: A Deterministic Global Optimization Algorithm for Design Problems, pp. 267\u2013294. Springer US, Boston, MA (2005). https:\/\/doi.org\/10.1007\/0-387-25570-2_10","DOI":"10.1007\/0-387-25570-2_10"},{"key":"1557_CR12","doi-asserted-by":"publisher","DOI":"10.1137\/1.9780898717716","author":"RE Moore","year":"2009","unstructured":"Moore, R.E., Kearfott, R.B., Cloud, M.J.: Introduction to Interval Analysis. Society for Industrial and Applied Mathematics (2009). https:\/\/doi.org\/10.1137\/1.9780898717716","journal-title":"Society for Industrial and Applied Mathematics"},{"key":"1557_CR13","doi-asserted-by":"crossref","unstructured":"Neumaier, A.: Introduction to Numerical Analysis. Cambridge University Press (2001)","DOI":"10.1017\/CBO9780511612916"},{"key":"1557_CR14","doi-asserted-by":"publisher","unstructured":"Neumaier, A.: Computer-assisted proofs. In: 12th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2006), pp. 5\u20135 (2006). https:\/\/doi.org\/10.1109\/SCAN.2006.11","DOI":"10.1109\/SCAN.2006.11"},{"key":"1557_CR15","doi-asserted-by":"publisher","unstructured":"Ninin, J., Messine, F., Hansen, P.: A reliable affine relaxation method for global optimization. 4OR 13(3), 247\u2013277 (2015). https:\/\/doi.org\/10.1007\/s10288-014-0269-0","DOI":"10.1007\/s10288-014-0269-0"},{"key":"1557_CR16","unstructured":"Nurmela, K., Ostergard, P.: Helsinki University of Technology, HUT-TCS-A62 (2000)"},{"key":"1557_CR17","doi-asserted-by":"crossref","unstructured":"Stoyan, Y., Patsuk, V.: Covering a compact polygonal set by identical circles. Comput. Optim. Appl. 46, 75\u201392 (2010). https:\/\/doi.org\/10.1007\/s10589-008-9191-8","DOI":"10.1007\/s10589-008-9191-8"},{"key":"1557_CR18","first-page":"167","volume":"50","author":"T Tarnai","year":"1995","unstructured":"Tarnai, T., G\u00e1sp\u00e1r, Z.: Covering a square by equal circles. Elm. Math. 50, 167\u2013170 (1995)","journal-title":"Elm. Math."}],"container-title":["Journal of Global Optimization"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10898-025-01557-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10898-025-01557-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10898-025-01557-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,22]],"date-time":"2025-11-22T06:45:31Z","timestamp":1763793931000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10898-025-01557-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,28]]},"references-count":18,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2025,11]]}},"alternative-id":["1557"],"URL":"https:\/\/doi.org\/10.1007\/s10898-025-01557-7","relation":{},"ISSN":["0925-5001","1573-2916"],"issn-type":[{"type":"print","value":"0925-5001"},{"type":"electronic","value":"1573-2916"}],"subject":[],"published":{"date-parts":[[2025,10,28]]},"assertion":[{"value":"10 January 2025","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"14 October 2025","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"28 October 2025","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}