{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,23]],"date-time":"2025-04-23T13:05:40Z","timestamp":1745413540202},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540261520"},{"type":"electronic","value":"9783540322641"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11493853_25","type":"book-chapter","created":{"date-parts":[[2010,7,14]],"date-time":"2010-07-14T03:35:25Z","timestamp":1279078525000},"page":"336-350","source":"Crossref","is-referenced-by-count":8,"title":["Symmetry and Search in a Network Design Problem"],"prefix":"10.1007","author":[{"given":"Barbara M.","family":"Smith","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"25_CR1","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1023\/A:1009894810205","volume":"4","author":"B.M.W. Cheng","year":"1999","unstructured":"Cheng, B.M.W., Choi, K.M.F., Lee, J.H.M., Wu, J.C.K.: Increasing constraint propagation by redundant modeling: an experience report. Constraints\u00a04, 167\u2013192 (1999)","journal-title":"Constraints"},{"key":"25_CR2","unstructured":"Choueiry, B.Y., Noubir, G.: On the Computation of Local Interchangeability in Discrete Constraint Satisfaction Problems. In: AAAI 1998, pp. 326\u2013333 (1998)"},{"key":"25_CR3","unstructured":"Frisch, A.M., Hnich, B., Miguel, I., Smith, B.M., Walsh, T.: Towards Model Reformulation at Multiple Levels of Abstraction. In: Frisch, A.M. (ed.) Proceedings of the International Workshop on Reformulating Constraint Satisfaction Problems: Towards Systematisation and Automation (2002)"},{"key":"25_CR4","unstructured":"Frisch, A.M., Miguel, I., Walsh, T.: Modelling a Steel Mill Slab Design Problem. In: Proceedings of the IJCAI 2001 Workshop on Modelling and Solving Problems with Constraints, pp. 39\u201345 (2001)"},{"key":"25_CR5","unstructured":"Gent, I.P., Smith, B.M.: Symmetry Breaking During Search in Constraint Programming. In: Horn, W. (ed.) Proceedings ECAI 2000, pp. 599\u2013603 (2000)"},{"key":"25_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"634","DOI":"10.1007\/978-3-540-45193-8_43","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2003","author":"J.-C. R\u00e9gin","year":"2003","unstructured":"R\u00e9gin, J.-C.: Using Constraint Programming to Solve the Maximum Clique Problem. In: Rossi, F. (ed.) CP 2003. LNCS, vol.\u00a02833, pp. 634\u2013648. Springer, Heidelberg (2003)"},{"key":"25_CR7","doi-asserted-by":"publisher","first-page":"1396","DOI":"10.1287\/mnsc.47.10.1396.10265","volume":"47","author":"H.D. Sherali","year":"2001","unstructured":"Sherali, H.D., Smith, J.C.: Improving Discrete Model Representations Via Symmetry Considerations. Management Science\u00a047, 1396\u20131407 (2001)","journal-title":"Management Science"},{"key":"25_CR8","doi-asserted-by":"publisher","first-page":"284","DOI":"10.1287\/ijoc.12.4.284.11884","volume":"12","author":"H.D. Sherali","year":"2000","unstructured":"Sherali, H.D., Smith, J.C., Lee, Y.: A branch-and-cut algorithm for solving an intra-ring synchronous optical network design problem allowing demand splitting. INFORMS J. on Computing\u00a012, 284\u2013298 (2000)","journal-title":"INFORMS J. on Computing"},{"key":"#cr-split#-25_CR9.1","unstructured":"Smith, B.M.: Search Strategies for Optimization: Modelling the SONET Problem. Report APES-70-2003 (August 2003);"},{"key":"#cr-split#-25_CR9.2","unstructured":"Presented at the CP 2003 Workshop on Modelling and Reformulating Constraint Satisfaction Problems"}],"container-title":["Lecture Notes in Computer Science","Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems"],"original-title":[],"link":[{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/link.springer.com\/content\/pdf\/10.1007\/11493853_25.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T02:38:00Z","timestamp":1619491080000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/link.springer.com\/10.1007\/11493853_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540261520","9783540322641"],"references-count":10,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1007\/11493853_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}