{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T13:55:58Z","timestamp":1766066158109,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642237850"},{"type":"electronic","value":"9783642237867"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-23786-7_25","type":"book-chapter","created":{"date-parts":[[2011,8,31]],"date-time":"2011-08-31T03:58:42Z","timestamp":1314763122000},"page":"317-324","source":"Crossref","is-referenced-by-count":2,"title":["Symmetry Breaking in Numeric Constraint Problems"],"prefix":"10.1007","author":[{"given":"Alexandre","family":"Goldsztejn","sequence":"first","affiliation":[]},{"given":"Christophe","family":"Jermann","sequence":"additional","affiliation":[]},{"given":"Vicente","family":"Ruiz de Angulo","sequence":"additional","affiliation":[]},{"given":"Carme","family":"Torras","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2-3","key":"25_CR1","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/s10601-006-8059-8","volume":"11","author":"D. Cohen","year":"2006","unstructured":"Cohen, D., Jeavons, P., Jefferson, C., Petrie, K., Smith, B.: Symmetry definitions for constraint satisfaction problems. Constraints\u00a011(2-3), 115\u2013137 (2006)","journal-title":"Constraints"},{"key":"25_CR2","unstructured":"COPRIN: The inria project COPRIN examples webpage (2011), \n                    \n                      http:\/\/www-sop.inria.fr\/coprin\/logiciels\/ALIAS\/Benches\/"},{"key":"25_CR3","doi-asserted-by":"publisher","first-page":"1303","DOI":"10.1016\/j.endm.2010.05.165","volume":"36","author":"A. Costa","year":"2010","unstructured":"Costa, A., Liberti, L., Hansen, P.: Formulation symmetries in circle packing. Electronic Notes in Discrete Mathematics\u00a036, 1303\u20131310 (2010)","journal-title":"Electronic Notes in Discrete Mathematics"},{"key":"25_CR4","unstructured":"Crawford, J., Ginsberg, M., Luks, E., Roy, A.: Symmetry-breaking predicates for search problems. In: KR, pp. 148\u2013159 (1996)"},{"key":"25_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"462","DOI":"10.1007\/3-540-46135-3_31","volume-title":"Principles and Practice of Constraint Programming - CP 2002","author":"P. Flener","year":"2002","unstructured":"Flener, P., Frisch, A., Hnich, B., Kiziltan, Z., Miguel, I.: Breaking row and column symmetries in matrix models. In: Van Hentenryck, P. (ed.) CP 2002. LNCS, vol.\u00a02470, pp. 462\u2013476. Springer, Heidelberg (2002)"},{"key":"25_CR6","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/11881216_29","volume-title":"Current Topics in Artificial Intelligence","author":"R. Gasca","year":"2006","unstructured":"Gasca, R., Valle, C.D., Cejudo, V., Barba, I.: Improving the computational efficiency in symmetrical numeric constraint satisfaction problems. In: Mar\u00edn, R., Onaind\u00eda, E., Bugar\u00edn, A., Santos, J. (eds.) CAEPIA 2005. LNCS (LNAI), vol.\u00a04177, pp. 269\u2013279. Springer, Heidelberg (2006)"},{"key":"25_CR7","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1016\/S1574-6526(06)80014-3","volume-title":"Handbook of Constraint Programming","author":"I. Gent","year":"2006","unstructured":"Gent, I., Petrie, K., Puget, J.-F.: Symmetry in constraint programming. In: Handbook of Constraint Programming, pp. 329\u2013376. Elsevier, Amsterdam (2006)"},{"key":"25_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1007\/3-540-46135-3_28","volume-title":"Principles and Practice of Constraint Programming - CP 2002","author":"I.P. Gent","year":"2002","unstructured":"Gent, I.P.: Groups and constraints: Symmetry breaking during search. In: Van Hentenryck, P. (ed.) CP 2002. LNCS, vol.\u00a02470, pp. 415\u2013430. Springer, Heidelberg (2002)"},{"key":"25_CR9","unstructured":"Goldsztejn, A., Lebbah, Y., Michel, C., Rueher, M.: Capabilities of constraint programming in safe global optimization. In: International Symposium on Nonlinear Theory and its Applications, pp. 601\u2013604 (2008)"},{"key":"25_CR10","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1145\/1132973.1132980","volume":"32","author":"L. Granvilliers","year":"2006","unstructured":"Granvilliers, L., Benhamou, F.: Algorithm 852: Realpaver: an interval solver using constraint satisfaction techniques. ACM T. on Mathematical Software\u00a032, 138\u2013156 (2006)","journal-title":"ACM T. on Mathematical Software"},{"key":"25_CR11","doi-asserted-by":"crossref","unstructured":"Ji, X., Ma, F., Zhang, J.: Solving global unconstrained optimization problems by symmetry-breaking. In: 8th IEEE\/ACIS International Conference on Computer and Information Science, pp. 107\u2013111 (2009)","DOI":"10.1109\/ICIS.2009.66"},{"key":"25_CR12","doi-asserted-by":"publisher","first-page":"647","DOI":"10.1007\/978-3-540-68279-0_17","volume-title":"50 Years of Integer Programming 1958-2008","author":"F. Margot","year":"2010","unstructured":"Margot, F.: Symmetry in integer linear programming. In: 50 Years of Integer Programming 1958-2008, pp. 647\u2013686. Springer, Heidelberg (2010)"},{"issue":"3","key":"25_CR13","first-page":"399","volume":"19","author":"J.-P. Merlet","year":"2009","unstructured":"Merlet, J.-P.: Interval analysis for certified numerical solution of problems in robotics. Applied Mathematics and Computer Science\u00a019(3), 399\u2013412 (2009)","journal-title":"Applied Mathematics and Computer Science"},{"issue":"1-2","key":"25_CR14","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1016\/S0004-3702(01)00104-7","volume":"129","author":"P. Meseguer","year":"2001","unstructured":"Meseguer, P., Torras, C.: Exploiting symmetries within constraint satisfaction search. Artif. Intell.\u00a0129(1-2), 133\u2013163 (2001)","journal-title":"Artif. Intell."},{"key":"25_CR15","unstructured":"Puget, J.F.: Breaking symmetries in all different problems. In: Proc. 19th International Joint Conference on Artificial Intelligence (IJCAI), pp. 272\u2013277 (2005)"},{"issue":"1","key":"25_CR16","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/s10601-004-5306-8","volume":"10","author":"J.-F. Puget","year":"2005","unstructured":"Puget, J.-F.: Symmetry breaking revisited. Constraints\u00a010(1), 23\u201346 (2005)","journal-title":"Constraints"},{"key":"25_CR17","doi-asserted-by":"crossref","first-page":"499","DOI":"10.1613\/jair.2711","volume":"34","author":"V. Ruiz de Angulo","year":"2009","unstructured":"Ruiz de Angulo, V., Torras, C.: Exploiting single-cycle symmetries in continuous constraint problems. Journal of Artificial Intelligence Research\u00a034, 499\u2013520 (2009)","journal-title":"Journal of Artificial Intelligence Research"},{"issue":"4","key":"25_CR18","doi-asserted-by":"publisher","first-page":"499","DOI":"10.1007\/s10898-008-9386-7","volume":"45","author":"X.H. Vu","year":"2009","unstructured":"Vu, X.H., Schichl, H., Sam-Haroud, D.: Interval propagation and search on directed acyclic graphs for numerical constraint solving. J. Global Optimization\u00a045(4), 499\u2013531 (2009)","journal-title":"J. Global Optimization"},{"key":"25_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1007\/978-3-642-17493-3_3","volume-title":"Parameterized and Exact Computation","author":"T. Walsh","year":"2010","unstructured":"Walsh, T.: Parameterized complexity results in symmetry breaking. In: Raman, V., Saurabh, S. (eds.) IPEC 2010. LNCS, vol.\u00a06478, pp. 4\u201314. Springer, Heidelberg (2010)"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming \u2013 CP 2011"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-23786-7_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T19:56:25Z","timestamp":1558295785000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-23786-7_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642237850","9783642237867"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-23786-7_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}