{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T06:12:07Z","timestamp":1747807927442},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642142635"},{"type":"electronic","value":"9783642142642"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-14264-2_3","type":"book-chapter","created":{"date-parts":[[2010,7,5]],"date-time":"2010-07-05T01:34:28Z","timestamp":1278293668000},"page":"22-31","source":"Crossref","is-referenced-by-count":9,"title":["On the Complexity of Program Debugging Using Constraints for Modeling the Program\u2019s Syntax and Semantics"],"prefix":"10.1007","author":[{"given":"Franz","family":"Wotawa","sequence":"first","affiliation":[]},{"given":"J\u00f6rg","family":"Weber","sequence":"additional","affiliation":[]},{"given":"Mihai","family":"Nica","sequence":"additional","affiliation":[]},{"given":"Rafael","family":"Ceballos","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"6","key":"3_CR1","doi-asserted-by":"publisher","first-page":"1684","DOI":"10.1145\/197320.197331","volume":"16","author":"M.M. Brandis","year":"1994","unstructured":"Brandis, M.M., M\u00f6ssenb\u00f6ck, H.: Single-pass generation of static assignment form for structured languages. ACM TOPLAS\u00a016(6), 1684\u20131698 (1994)","journal-title":"ACM TOPLAS"},{"key":"3_CR2","volume-title":"Constraint Processing","author":"R. Dechter","year":"2003","unstructured":"Dechter, R.: Constraint Processing. Morgan Kaufmann, San Francisco (2003)"},{"issue":"2","key":"3_CR3","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1016\/S0004-3702(00)00078-3","volume":"124","author":"G. Gottlob","year":"2000","unstructured":"Gottlob, G., Leone, N., Scarcello, F.: A comparison of structural CSP decomposition methods. Artificial Intelligence\u00a0124(2), 243\u2013282 (2000)","journal-title":"Artificial Intelligence"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"DeMillo, R.A., Pan, H., Spafford, E.H.: Critical slicing for software fault localization. In: International Symposium on Software Testing and Analysis (ISSTA), pp. 121\u2013134 (1996)","DOI":"10.1145\/229000.226310"},{"key":"3_CR5","unstructured":"Mayer, W., Stumptner, M., Wieland, D., Wotawa, F.: Can ai help to improve debugging substantially? debugging experiences with value-based models. In: Proceedings of the European Conference on Artificial Intelligence, Lyon, France, pp. 417\u2013421 (2002)"},{"key":"3_CR6","unstructured":"http:\/\/www.dbai.tuwien.ac.at\/proj\/hypertree\/index.html"},{"key":"3_CR7","unstructured":"Thorup, M.: All Structured Programs have Small tree width and Good Register Allocation. Information and Computation Journal"},{"key":"3_CR8","unstructured":"Dermaku, A., Ganzow, T., Gottlob, G., McMahan, B., Musliu, N., Samer, M.: Heuristic Methods for hypertree Decompositions, DBAI-TR-2005-53, Technische Universit\u00e4t Wien (2005)"},{"key":"3_CR9","unstructured":"Mayer, W.: Static and Hybrid Analysis in Model-based Debugging. PhD Thesis, School of Computer and Information Science, University of South Australia, Adelaide, Australia (2007)"},{"issue":"4","key":"3_CR10","first-page":"359","volume":"32","author":"F. Wotawa","year":"2008","unstructured":"Wotawa, F., Nica, M.: On the Compilation of Programs into their equivalent Constraint Representation. Informatica\u00a032(4), 359\u2013371 (2008)","journal-title":"Informatica"},{"key":"3_CR11","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/11881216_22","volume-title":"Current Topics in Artificial Intelligence","author":"R. Ceballos","year":"2006","unstructured":"Ceballos, R., Gasca, R.M., Del Valle, C., Borrego, D.: Diagnosing Errors in DbC Programs Using Constraint Programming. In: Mar\u00edn, R., Onaind\u00eda, E., Bugar\u00edn, A., Santos, J. (eds.) CAEPIA 2005. LNCS (LNAI), vol.\u00a04177, pp. 200\u2013210. Springer, Heidelberg (2006)"},{"issue":"1","key":"3_CR12","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1109\/MDT.2006.5","volume":"23","author":"F. Wotawa","year":"2006","unstructured":"Wotawa, F., Peischl, B.: Automated source level error localization in hardware designs. IEEE Design and Test of Computers\u00a023(1), 8\u201319 (2006)","journal-title":"IEEE Design and Test of Computers"},{"key":"3_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/978-3-540-74970-7_6","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2007","author":"H. Collavizza","year":"2007","unstructured":"Collavizza, H., Rueher, M.: Exploring Different Constraint-Based Modelings for Program Verification. In: Bessi\u00e8re, C. (ed.) CP 2007. LNCS, vol.\u00a04741, pp. 49\u201363. Springer, Heidelberg (2007)"},{"issue":"1","key":"3_CR14","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R. Reiter","year":"1987","unstructured":"Reiter, R.: A theory of diagnosis from first principles. Artificial Intelligence\u00a032(1), 57\u201395 (1987)","journal-title":"Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","Current Topics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-14264-2_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,15]],"date-time":"2019-03-15T05:40:50Z","timestamp":1552628450000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14264-2_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642142635","9783642142642"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14264-2_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}