{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:55:22Z","timestamp":1725544522113},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540367130"},{"type":"electronic","value":"9783540368618"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"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":[[2006]]},"DOI":"10.1007\/11803089_23","type":"book-chapter","created":{"date-parts":[[2006,7,24]],"date-time":"2006-07-24T08:29:24Z","timestamp":1153729764000},"page":"194-202","source":"Crossref","is-referenced-by-count":0,"title":["HIS: Hierarchical Solver for Over-Constrained Satisfaction Problems"],"prefix":"10.1007","author":[{"given":"Zerrin","family":"Yumak","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tatyana","family":"Yakhno","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"23_CR1","first-page":"146","volume-title":"Proceedings of the 15th European Conference on Artificial Intelligence","author":"R. Bartak","year":"2002","unstructured":"Bartak, R.: A Theoretical Framework for Constraint Hierarchy Solvers. In: Proceedings of the 15th European Conference on Artificial Intelligence, pp. 146\u2013150. IOS Press, Amsterdam (2002)"},{"key":"23_CR2","volume-title":"Modeling Soft Constraints: A Survey","author":"R. Bartak","year":"2002","unstructured":"Bartak, R.: Modeling Soft Constraints: A Survey. Charles University, Prague (2002)"},{"key":"23_CR3","series-title":"Lecture Notes in Computer Science","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2003","author":"S. Bistarelli","year":"2003","unstructured":"Bistarelli, S., Codognet, P., Hui, H.K.C., Lee, J.H.M.: Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search. In: Rossi, F. (ed.) CP 2003. LNCS, vol.\u00a02833. Springer, Heidelberg (2003)"},{"key":"23_CR4","doi-asserted-by":"crossref","unstructured":"Borning, A., Duisberg, R., Freeman-Benson, B., Kramer, A., Woolf, M.: Constraint Hierarchies. In: Proceedings of the ACM Conference on Object Oriented Programming Systems, Languages and Applications, pp. 48\u201360 (1987)","DOI":"10.1145\/38765.38812"},{"issue":"1","key":"23_CR5","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1023\/A:1009704614502","volume":"3","author":"A. Borning","year":"1998","unstructured":"Borning, A., Freeman-Benson, B.: Ultraviolet: A Constraint Satisfaction Algorithm for Interactive Graphics. Constraints\u00a03(1), 9\u201332 (1998)","journal-title":"Constraints"},{"issue":"1","key":"23_CR6","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1145\/76372.77531","volume":"33","author":"B. Freeman-Benson","year":"1990","unstructured":"Freeman-Benson, B., Maloney, J., Borning, A.: An Incremental Constraint Solver. Communications of the ACM\u00a033(1), 54\u201363 (1990)","journal-title":"Communications of the ACM"},{"key":"23_CR7","doi-asserted-by":"crossref","unstructured":"Freeman-Benson, B., Wilson, M., Borning, A.: DeltaStar: A General Algorithm for Incremental Constraint Satisfaction of Constraint Hierarchies. In: 11th Annual IEEE Phoenix Conference on Computers and Communications, pp. 561\u2013568 (1992)","DOI":"10.1109\/PCCC.1992.200605"},{"key":"23_CR8","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/0004-3702(92)90004-H","volume":"58","author":"E.C. Freuder","year":"1992","unstructured":"Freuder, E.C., Wallace, R.J.: Partial Constraint Satisfaction. Artificial Intelligence\u00a058, 21\u201370 (1992)","journal-title":"Artificial Intelligence"},{"key":"23_CR9","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5625.001.0001","volume-title":"Programming with Constraints: An Introduction","author":"K. Marriott","year":"1998","unstructured":"Marriott, K., Stuckey, P.J.: Programming with Constraints: An Introduction. MIT Press, Cambridge (1998)"},{"key":"23_CR10","volume-title":"Proceedings of the First Workshop on Principles and Practice of Constraint Programming","author":"M. Sannella","year":"1994","unstructured":"Sannella, M.: The SkyBlue Constraint Solver and Its Applications. In: Proceedings of the First Workshop on Principles and Practice of Constraint Programming. MIT Press, Cambridge (1994)"},{"key":"23_CR11","first-page":"227","volume":"16","author":"M. Wilson","year":"1993","unstructured":"Wilson, M., Borning, A.: Hierarchical Constraint Logic Programming. The Journal of Logic Programming Special Issue on Constraint Logic Programming\u00a016, 227\u2013318 (1993)","journal-title":"The Journal of Logic Programming Special Issue on Constraint Logic Programming"}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence and Neural Networks"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11803089_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,12]],"date-time":"2019-03-12T03:58:18Z","timestamp":1552363098000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11803089_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540367130","9783540368618"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/11803089_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}