{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:19:57Z","timestamp":1759637997496,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540218364"},{"type":"electronic","value":"9783540246640"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24664-0_11","type":"book-chapter","created":{"date-parts":[[2010,10,23]],"date-time":"2010-10-23T14:59:59Z","timestamp":1287845999000},"page":"157-172","source":"Crossref","is-referenced-by-count":19,"title":["Super Solutions in Constraint Programming"],"prefix":"10.1007","author":[{"given":"Emmanuel","family":"Hebrard","sequence":"first","affiliation":[]},{"given":"Brahim","family":"Hnich","sequence":"additional","affiliation":[]},{"given":"Toby","family":"Walsh","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","unstructured":"Dechter, R., Frost, D., Bessi\u00e8re, C., R\u00e9gin, J.C.: Random uniform CSP generator (1996), url: \n                      http:\/\/www.ics.uci.edu\/~dfrost\/csp\/generator.html"},{"key":"11_CR2","unstructured":"Dechter, A., Dechter, R.: Belief maintenance in dynamic constraint networks. In: Proceedings AAAI 1988, pp. 37\u201342 (1988)"},{"key":"11_CR3","unstructured":"Hebrard, E., Hnich, B., Walsh, T.: Super CSPs. Technical Report APES-66-2003, APES Research Group (2003)"},{"key":"11_CR4","series-title":"D.W. Fowler and K.N. Brown","doi-asserted-by":"publisher","first-page":"500","DOI":"10.1007\/3-540-45349-0_38","volume-title":"Principles and Practice of Constraint Programming - CP 2000","author":"D.W. Fowler","year":"2000","unstructured":"Fowler, D.W., Brown, K.N.: Branching constraint satisfaction problems for solutions robust under likely changes. In: Dechter, R. (ed.) CP 2000. D.W. Fowler and K.N. Brown, vol.\u00a01894, pp. 500\u2013504. Springer, Heidelberg (2000)"},{"key":"11_CR5","doi-asserted-by":"publisher","first-page":"755","DOI":"10.1145\/4221.4225","volume":"32","author":"E.C. Freuder","year":"1985","unstructured":"Freuder, E.C.: A sufficient condition for backtrack-bounded search. Journal of the ACM\u00a032, 755\u2013761 (1985)","journal-title":"Journal of the ACM"},{"key":"11_CR6","unstructured":"Freuder, E.C.: Partial Constraint Satisfaction. In: Proceedings IJCAI 1989, pp. 278\u2013283 (1989)"},{"key":"11_CR7","unstructured":"Freuder, E.C.: Eliminating Interchangeable Values in Constraint Satisfaction Problems. In: Proceedings AAAI 1991, pp. 227\u2013233 (1991)"},{"key":"11_CR8","volume-title":"Proceedings of the 12th Annual Allerton Conference on Circuit and System Theory","author":"J. Gaschnig","year":"1974","unstructured":"Gaschnig, J.: A constraint satisfaction method for inference making. In: Proceedings of the 12th Annual Allerton Conference on Circuit and System Theory, University of Illinois, Urbana-Champaign (1974)"},{"key":"11_CR9","unstructured":"Gaschnig, J.: Performance measurement and analysis of certain search algorithms. Technical report CMU-CS-79-124, Carnegie-Mellon University, PhD thesis (1979)"},{"key":"11_CR10","unstructured":"Gent, I., MacIntyre, E., Prosser, P., Walsh, T.: The constrainedness of search. In: Proceedings AAAI 1996, pp. 246\u2013252 (1996)"},{"key":"11_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/3-540-45349-0_19","volume-title":"Principles and Practice of Constraint Programming - CP 2000","author":"N. Jussien","year":"2000","unstructured":"Jussien, N., Debruyne, R., Boizumault, P.: Maintaining arc-consistency within dynamic backtracking. In: Dechter, R. (ed.) CP 2000. LNCS, vol.\u00a01894, pp. 249\u2013261. Springer, Heidelberg (2000)"},{"key":"11_CR12","unstructured":"Parkes, A., Ginsberg, M., Roy, A.: Supermodels and robustness. In: Proceedings AAAI 1998, pp. 334\u2013339 (1998)"},{"key":"11_CR13","unstructured":"Miguel, I.: Dynamic Flexible Constraint Satisfaction and Its Application to AI Planning. PhD thesis, University of Edinburgh (2001)"},{"issue":"2","key":"11_CR14","first-page":"187","volume":"3","author":"T. Schiex","year":"1994","unstructured":"Schiex, T., Verfaillie, G.: Nogood recording for static and dynamic constraint satisfaction problem. IJAIT\u00a03(2), 187\u2013207 (1994)","journal-title":"IJAIT"},{"key":"11_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1007\/3-540-45349-0_32","volume-title":"Principles and Practice of Constraint Programming - CP 2000","author":"T. Walsh","year":"2000","unstructured":"Walsh, T.: SAT v CSP. In: Dechter, R. (ed.) CP 2000. LNCS, vol.\u00a01894, pp. 441\u2013456. Springer, Heidelberg (2000)"},{"key":"11_CR16","unstructured":"Walsh, T.: Stochastic constraint programming. In: Proceedings ECAI 2002 (2002)"},{"key":"11_CR17","unstructured":"Watson, J.P., Barbulescu, L., Howe, A.E., Whitley, L.D.: Algorithms performance and problem structure for flow-shop scheduling. In: Proceedings of the Sixteenth National Conference on Artificial Intelligence (AAAI 1999), pp. 688\u2013695 (1999)"},{"key":"11_CR18","unstructured":"Weigel, R., Bliek, C.: On reformulation of constraint satisfaction problems. In: Proceedings ECAI 1998, pp. 254\u2013258 (1998)"}],"container-title":["Lecture Notes in Computer Science","Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24664-0_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,27]],"date-time":"2023-01-27T21:07:41Z","timestamp":1674853661000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-540-24664-0_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540218364","9783540246640"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24664-0_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}