{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,14]],"date-time":"2025-07-14T02:50:21Z","timestamp":1752461421304},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540652243"},{"type":"electronic","value":"9783540494812"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49481-2_10","type":"book-chapter","created":{"date-parts":[[2007,11,24]],"date-time":"2007-11-24T19:46:10Z","timestamp":1195933570000},"page":"117-131","source":"Crossref","is-referenced-by-count":6,"title":["Anytime Lower Bounds for Constraint Violation Minimization Problems"],"prefix":"10.1007","author":[{"given":"Bertrand","family":"Cabon","sequence":"first","affiliation":[]},{"given":"Simon","family":"de Givry","sequence":"additional","affiliation":[]},{"given":"G\u00e9rard","family":"Verfaillie","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,6,11]]},"reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"S. Bistarelli, H. Fargier, U. Montanari, F. Rossi, T. Schiex, and G. Verfaillie. Semiring-based CSPs and Valued CSPs: Basic Properties and Comparison. In M. Jampel, E. Freuder, and M. Maher, editors, Over-Constrained Systems (LNCS 1106, Selected papers from the Workshop on Over-Constrained Systems at CP-95, reprints and background papers), pages 111\u2013150. Springer, 1996.","DOI":"10.1007\/3-540-61479-6_19"},{"key":"10_CR2","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":"10_CR3","doi-asserted-by":"crossref","unstructured":"S. de Givry, G. Verfaillie, and T. Schiex. Bounding the Optimum of Constraint Optimization Problems. In Proc. of the 3rd International Conference on Principles and Practice of Constraint Programming (CP-97), Schloss Hagenberg, Austria, 1997.","DOI":"10.1007\/BFb0017456"},{"issue":"3","key":"10_CR4","first-page":"311","volume":"9","author":"H. Fargier","year":"1995","unstructured":"H. Fargier, D. Dubois, and H. Prade. Probl\u00e8mes de satisfaction de contraintes flexibles: une approche \u00e9galitariste. Revue d\u2019Intelligence Artificielle, 9(3):311\u2013354, 1995.","journal-title":"Revue d\u2019Intelligence Artificielle"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"H. Fargier and J. Lang. Uncertainty in Constraint Satisfaction Problems: a Probabilistic Approach. In Proc. of the European Conference on Symbolic and Quantitavive Approaches of Reasoning under Uncertainty (ECSQARU-93), pages 97\u2013104, Grenade, Spain, 1993.","DOI":"10.1007\/BFb0028188"},{"key":"10_CR6","doi-asserted-by":"publisher","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":"10_CR7","doi-asserted-by":"crossref","unstructured":"S. Kirkpatrick, C. Gelatt, and M. Vecchi. Optimization by Simulated Annealing. Science, 220, 1983.","DOI":"10.1126\/science.220.4598.671"},{"key":"10_CR8","doi-asserted-by":"publisher","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":"10_CR9","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/0004-3702(93)90045-D","volume":"62","author":"R. Korf","year":"1993","unstructured":"R. Korf. Linear-space Best-first Search. Artificial Intelligence, 62:41\u201378, 1993.","journal-title":"Artificial Intelligence"},{"key":"10_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":"10_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."},{"key":"10_CR12","unstructured":"C. Papadimitriou. Computational Complexity. Addison-Wesley Publishing Company, 1994."},{"key":"10_CR13","unstructured":"J. Pearl. HEURISTICS, Intelligent Search Strategies for Computer Problem Solving. Addison-Wesley Publishing Company, 1984."},{"issue":"6","key":"10_CR14","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1109\/TSMC.1976.4309519","volume":"6","author":"A. Rosenfeld","year":"1976","unstructured":"A. Rosenfeld, R. Hummel, and S. Zucker. Scene Labeling by Relaxation Operations. IEEE Transactions on Systems, Man, and Cybernetics, 6(6):173\u2013184, 1976.","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics"},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"T. Schiex. Possibilistic Constraint Satisfaction Problems or \u201cHow to handle soft constraints?\u201d. In Proc. of the 8th International Conference on Uncertainty in Artificial Intelligence (UAI-92), Stanford, CA, USA, 1992.","DOI":"10.1016\/B978-1-4832-8287-9.50041-4"},{"issue":"3","key":"10_CR16","first-page":"339","volume":"11","author":"T. Schiex","year":"1997","unstructured":"T. Schiex, H. Fargier, and G. Verfaillie. Probl\u00e8mes de satisfaction de contraintes valu\u00e9s. Revue d\u2019Intelligence Artificielle, 11(3):339\u2013373, 1997.","journal-title":"Revue d\u2019Intelligence Artificielle"},{"key":"10_CR17","unstructured":"B. Smith. Phase Transition and the Mushy Region in Constraint Satisfaction Problems. In Proc. of the 11th European Conference on Artificial Intelligence (ECAI-94), pages 100\u2013104, Amsterdam, The Netherlands, 1994."},{"key":"10_CR18","unstructured":"G. Verfaillie and S. de Givry. Algorithmic problems and solutions in the Valued Constraint Satisfaction Problem framework. In Proc. of the EUFIT-97 session on \u201cValued Constraint Satisfaction\u201d, Aachen, Germany, 1997."},{"key":"10_CR19","unstructured":"G. Verfaillie, M. Lema\u00cetre, 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":"10_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"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming \u2014 CP98"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49481-2_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,5]],"date-time":"2019-05-05T02:04:58Z","timestamp":1557021898000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49481-2_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540652243","9783540494812"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-49481-2_10","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}