{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:04:17Z","timestamp":1725512657684},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540681540"},{"type":"electronic","value":"9783540681557"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-68155-7_34","type":"book-chapter","created":{"date-parts":[[2008,5,19]],"date-time":"2008-05-19T09:41:20Z","timestamp":1211190080000},"page":"338-342","source":"Crossref","is-referenced-by-count":0,"title":["Constraint Optimization and Abstraction for Embedded Intelligent Systems"],"prefix":"10.1007","author":[{"given":"Paul","family":"Maier","sequence":"first","affiliation":[]},{"given":"Martin","family":"Sachenbacher","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"34_CR1","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-3-540-74565-5_3","volume-title":"KI 2007: Advances in Artificial Intelligence","author":"M. Beetz","year":"2007","unstructured":"Beetz, M., Buss, M., Wollherr, D.: Cognitive technical systems \u2013 what is the role of artificial intelligence? In: Hertzberg, J., Beetz, M., Englert, R. (eds.) KI 2007. LNCS (LNAI), vol.\u00a04667, pp. 19\u201342. Springer, Heidelberg (2007)"},{"key":"34_CR2","unstructured":"Bouveret, S., Heras, F., de Givry, S., Larrosa, J., Sanchez, M., Schiex, T.: Toolbar: A state-of-the-art platform for wcsp, \n                    \n                      http:\/\/www.inra.fr\/mia\/T\/degivry\/ToolBar.pdf"},{"key":"34_CR3","unstructured":"Koster, A.: Frequency Assignment \u2013 Models and Algorithms. PhD thesis, Universiteit Maastricht, Maastricht, The Netherlands (1999)"},{"key":"34_CR4","doi-asserted-by":"crossref","unstructured":"Hayden, S.C., Sweet, A.J., Christa, S.E.: : Livingstone Model-Based Diagnosis of Earth Observing One. In: Proceedings AIAA 1st Intelligent Systems Technical Conference (September 2004)","DOI":"10.2514\/6.2004-6225"},{"key":"34_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"344","DOI":"10.1007\/978-3-540-73580-9_27","volume-title":"Abstraction, Reformulation, and Approximation","author":"N.R. Sturtevant","year":"2007","unstructured":"Sturtevant, N.R., Jansen, R.: An analysis of map-based abstraction and refinement. In: Miguel, I., Ruml, W. (eds.) SARA 2007. LNCS (LNAI), vol.\u00a04612, pp. 344\u2013358. Springer, Heidelberg (2007)"},{"key":"34_CR6","volume-title":"Constraint Processing","author":"R. Dechter","year":"2003","unstructured":"Dechter, R.: Constraint Processing. Morgan Kaufmann Publishers, San Francisco (2003)"},{"key":"34_CR7","unstructured":"Sachenbacher, M., Williams, B.C.: Diagnosis as Semiring-based Constraint Optimization. In: Proceedings 16th European Conference on Artificial Intelligence (ECAI 2004), Valencia, Spain, pp. 873\u2013877 (2004)"},{"key":"34_CR8","unstructured":"El Fattah, Y., Dechter, R.: Diagnosing tree-decomposable circuits. In: Proceedings 14th International Joint Conference on Artificial Intelligence (IJCAI 1995), Montreal, Canada, pp. 1742\u20131749 (1995)"},{"key":"34_CR9","unstructured":"Kask, K., Dechter, R.: Mini-Bucket Heuristics for Improved Search. In: Proceedings 15th Conference on Uncertainty in Artificial Intelligence (UAI 1999), Stockholm, Sweden, pp. 314\u2013323 (1999)"},{"key":"34_CR10","unstructured":"O\u2019Sullivan, B., Provan, G.M.: Approximate Compilation for Embedded Model-based Reasoning. In: Proceedings 21st National Conference on Artificial Intelligence (AAAI 2006), Boston, USA (2006)"},{"key":"34_CR11","unstructured":"Petcu, A., Faltings, B.: Superstabilizing, fault-containing distributed combinatorial optimization. In: Proceedings 20th National Conference on Artificial Intelligence (AAAI 2005), Pittsburgh, USA, pp. 449\u2013454 (2005)"},{"key":"34_CR12","unstructured":"Holte, R., Hernadvolgyi, I.: Steps towards the automatic creation of search heuristics. Technical report, Computing Science Department, University of Alberta (2004)"},{"issue":"1-2","key":"34_CR13","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/j.artint.2004.01.005","volume":"162","author":"M. Sachenbacher","year":"2005","unstructured":"Sachenbacher, M., Struss, P.: Task-dependent Qualitative Domain Abstraction. Artificial Intelligence\u00a0162(1-2), 121\u2013143 (2005)","journal-title":"Artificial Intelligence"}],"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":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-68155-7_34.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T04:38:33Z","timestamp":1620016713000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-68155-7_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540681540","9783540681557"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-68155-7_34","relation":{},"subject":[]}}