{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,14]],"date-time":"2025-07-14T02:31:56Z","timestamp":1752460316964},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540637530"},{"type":"electronic","value":"9783540696421"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0017456","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T07:22:46Z","timestamp":1132644166000},"page":"405-419","source":"Crossref","is-referenced-by-count":17,"title":["Bounding the optimum of constraint optimization problems"],"prefix":"10.1007","author":[{"given":"Simon","family":"de Givry","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G\u00e9rard","family":"Verfaillie","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Schiex","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,10]]},"reference":[{"key":"32_CR1","unstructured":"E. Aarts and J. Lenstra, editors. Local Search in Combinatorial Optimization. John Wiley & Sons, 1997."},{"key":"32_CR2","doi-asserted-by":"crossref","unstructured":"C. Bessi\u00e8re and J.C. R\u00e9gin. MAC and Combined Heuristics: Two Reasons to Forsake FC (and CBJ?). In Proc. of the 2nd International Conference on Principles and Practice of Constraint Programming (CP-96, LNCS 1118), pages 61\u201375, Cambridge, MA, USA, 1996.","DOI":"10.1007\/3-540-61551-2_66"},{"key":"32_CR3","unstructured":"S. Bistarelli, U. Montanari, and F. Rossi. Constraint Solving over Semirings. In Proc. of the 14th International Joint Conference on Artificial Intelligence (IJCAI-95), pages 624\u2013630, Montr\u00e9al, Canada, 1995."},{"key":"32_CR4","unstructured":"CELAR. Radio Link Frequency Assignment Problem Benchmark. URL ftp:\/\/ftp.cs.unh.edu\/pub\/csp\/archive\/code\/benchmarks, 1994. See also http:\/\/wwwbia.inra.frlT\/schiex or http:\/\/www.cert.fr\/francais\/deri\/verfaillie\/oc.html."},{"key":"32_CR5","doi-asserted-by":"crossref","unstructured":"P Dago and G. Verfaillie. Nogood Recording for Valued Constraint Satisfaction Problems. In Proc. of the 8th IEEE International Conference on Tools with Artificial Intelligence (ICTAI-96), pages 132\u2013139, Toulouse, France, 1996.","DOI":"10.1109\/TAI.1996.560443"},{"issue":"3","key":"32_CR6","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1016\/0004-3702(90)90046-3","volume":"41","author":"R. Dechter","year":"1990","unstructured":"R. Dechter. Enhancement Schemes for Constraint Processing: Backjumping, Learning and Cutset Decomposition. Artificial Intelligence, 41(3):273\u2013312,1990.","journal-title":"Artificial Intelligence"},{"key":"32_CR7","doi-asserted-by":"crossref","first-page":"958","DOI":"10.1145\/359642.359654","volume":"21","author":"E. Freuder","year":"1978","unstructured":"E. Freuder. Synthesizing Constraint Expressions. Communications of the ACM, 21:958\u2013966, 1978.","journal-title":"Communications of the ACM"},{"key":"32_CR8","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1016\/0004-3702(92)90004-H","volume":"58","author":"E. Freuder","year":"1992","unstructured":"E. Freuder and R. Wallace. Partial Constraint Satisfaction. Artificial Intelligence, 58:21\u201370, 1992.","journal-title":"Artificial Intelligence"},{"key":"32_CR9","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/0004-3702(85)90084-0","volume":"27","author":"R. Korf","year":"1985","unstructured":"R. Korf. Depth-First Iterative Deepening: An Optimal Admissible Tree Search. Artificial Intelligence, 27:97\u2013109,1985.","journal-title":"Artificial Intelligence"},{"key":"32_CR10","doi-asserted-by":"crossref","unstructured":"J. Larrosa and P. Meseguer. Expoiting the Use of DAC in MAX-CSP. In Proc. of the 2nd International Conference on Principles and Practice of Constraint Programming (CP-96, LNCS 1118), pages 308\u2013322, Cambridge, MA, USA, 1996.","DOI":"10.1007\/3-540-61551-2_83"},{"key":"32_CR11","unstructured":"J. Larrosa and P Meseguer. Phase Transition in MAX-CSP. In Proc. of the 12th European Conference on Artificial Intelligence (ECAI-96), pages 190\u2013194, Budapest, Hungary, 1996."},{"issue":"1","key":"32_CR12","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1016\/0004-3702(77)90007-8","volume":"8","author":"A. Mackworth","year":"1977","unstructured":"A. Mackworth. Consistency in Networks of Relations. Artificial Intelligence, 8(1):99\u2013118, 1977.","journal-title":"Artificial Intelligence"},{"key":"32_CR13","doi-asserted-by":"crossref","unstructured":"G.L. Nemhauser and L.A. Wolsey. Integer and Combinatorial Optimization. John Wiley & Sons,1988.","DOI":"10.1002\/9781118627372"},{"key":"32_CR14","unstructured":"J. Pearl. HEURISTICS, Intelligent Search Strategies for Computer Problem Solving. Addison-Wesley Publishing Company, 1984."},{"key":"32_CR15","doi-asserted-by":"crossref","unstructured":"D. Sabin and E. Freuder. Contradicting Conventional Wisdom in Constraint Satisfaction. In Proc. of the 11th European Conference on Artificial Intelligence (ECAI-94), pages 125\u2013129, Amsterdam, The Netherlands, 1994.","DOI":"10.1007\/3-540-58601-6_86"},{"key":"32_CR16","unstructured":"T. Schiex, H. Fargier, and G. Verfaillie. Valued Constraint Satisfaction Problems: Hard and Easy Problems. In Proc. of the 14th International Joint Conference on Artificial Intelligence (IJCAI-95), pages 631\u2013637, Montr\u00e8al, Canada, 1995."},{"issue":"2","key":"32_CR17","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1142\/S0218213094000108","volume":"3","author":"T. Schiex","year":"1994","unstructured":"T. Schiex and G. Verfaillie. Nogood Recording for Static and Dynamic Constraint Satisfaction Problems. International Journal ofArtificial Intelligence Tools, 3(2):187\u2013207, 1994.","journal-title":"International Journal ofArtificial Intelligence Tools"},{"key":"32_CR18","unstructured":"R. Shrag and D. Miranker. Abstraction and the CSP Phase Transition Boundary. In Proc. of the 4th International Symposium on Artificial Intelligence and Mathematics, pages 138\u2013141, Fort Lauderdale, FL, USA, 1996."},{"key":"32_CR19","unstructured":"G. Verfaillie, M. Lema\u00eetre, and T. Schiex. Russian Doll Search for Solving Constraint Optimization Problems. In Proc. of the 13th National Conference on Artificial Intelligence (AAAI-96), pages 181\u2013187, Portland, OR, USA, 1996."},{"key":"32_CR20","doi-asserted-by":"crossref","unstructured":"R. Wallace. Directed Arc Consistency Preprocessing. In Proc. of the ECAI-94 Workshop on Constraint Processing (LNCS 923), pages 121\u2013137. Springer, 1994.","DOI":"10.1007\/3-540-59479-5_22"},{"key":"32_CR21","doi-asserted-by":"crossref","unstructured":"R. Wallace. Analysis of Heuristic Methods for Partial Constraint Satisfaction Problems. In Proc. of the 2nd International Conference on Principles and Practice of Constraint Programming (CP-96, LNCS 1118), pages 482\u2013496, Cambridge, MA, USA, 1996.","DOI":"10.1007\/3-540-61551-2_95"},{"issue":"3","key":"32_CR22","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1016\/0743-1066(93)90046-J","volume":"16","author":"M. Wilson","year":"1993","unstructured":"M. Wilson and A. Boming. Hierarchical Constraint Logic Programming. Journal of Logic Programming, 16(3):277\u2013318, 1993.","journal-title":"Journal of Logic Programming"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming-CP97"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0017456","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T02:53:10Z","timestamp":1586573590000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0017456"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540637530","9783540696421"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/bfb0017456","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}