{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,2]],"date-time":"2025-11-02T16:25:31Z","timestamp":1762100731791},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540749691"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-74970-7_14","type":"book-chapter","created":{"date-parts":[[2007,10,9]],"date-time":"2007-10-09T23:49:08Z","timestamp":1191973748000},"page":"164-179","source":"Crossref","is-referenced-by-count":1,"title":["Reformulating CSPs for Scalability with Application to Geospatial Reasoning"],"prefix":"10.1007","author":[{"given":"Kenneth M.","family":"Bayer","sequence":"first","affiliation":[]},{"given":"Martin","family":"Michalowski","sequence":"additional","affiliation":[]},{"given":"Berthe Y.","family":"Choueiry","sequence":"additional","affiliation":[]},{"given":"Craig A.","family":"Knoblock","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","unstructured":"Michalowski, M., Knoblock, C.: A Constraint Satisfaction Approach to Geospatial Reasoning. In: AAAI 2005, pp. 423\u2013429 (2005)"},{"key":"14_CR2","unstructured":"Pickering, T.: Speech by Under Secretary of State T. Pickering on 06\/17\/1999 to the Chinese Government Regarding the Accidental Bombing of the PRC Embassy in Belgrade (1999)"},{"key":"14_CR3","unstructured":"van Beek, P., Chen, X.: CPlan: A Constraint Programming Approach to Planning. In: AAAI 1999, pp. 585\u2013590 (1999)"},{"key":"14_CR4","unstructured":"Kilby, P., Slaney, J., Thi\u00e9baux, S., Walsh, T.: Backbones and Backdoors in Satisfiability. In: AAAI 2005, pp. 1373\u20131468 (2005)"},{"issue":"1\u20132","key":"14_CR5","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1016\/j.artint.2004.01.004","volume":"162","author":"B.Y. Choueiry","year":"2005","unstructured":"Choueiry, B.Y., Iwasaki, Y., McIlraith, S.: Towards a Practical Theory of Reformulation for Reasoning About Physical Systems. Artificial Intelligence\u00a0162 (1\u20132), 145\u2013204 (2005)","journal-title":"Artificial Intelligence"},{"key":"14_CR6","unstructured":"Prosser, P.: MAC-CBJ: Maintaining Arc Consistency with Conflict-Directed Backjumping. Technical Report 95\/177, Univ. of Strathclyde (1995)"},{"key":"14_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"88","DOI":"10.1007\/978-3-540-48085-3_7","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 1999","author":"C. Bessi\u00e8re","year":"1999","unstructured":"Bessi\u00e8re, C., Meseguer, P., Freuder, E., Larrosa, J.: On Forward Checking for Non-binary Constraint Satisfaction. In: Jaffar, J. (ed.) Principles and Practice of Constraint Programming \u2013 CP 1999. LNCS, vol.\u00a01713, pp. 88\u2013102. Springer, Heidelberg (1999)"},{"key":"14_CR8","unstructured":"Freuder, E., Elfe, C.: Neighborhood Inverse Consistency Preprocessing. In: AAAI 1996, pp. 202\u2013208 (1996)"},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"Dechter, R., van Beek, P.: Local and Global Relational Consistency. Journal of Theoretical Computer Science\u00a0 (1996)","DOI":"10.1016\/S0304-3975(97)86737-0"},{"key":"14_CR10","volume-title":"Constraint Processing","author":"R. Dechter","year":"2003","unstructured":"Dechter, R.: Constraint Processing. Morgan Kaufmann, San Francisco (2003)"},{"key":"14_CR11","volume-title":"Artificial Intelligence: A Modern Approach","author":"S. Russell","year":"2003","unstructured":"Russell, S., Norvig, P.: Artificial Intelligence: A Modern Approach. Prentice-Hall, Englewood Cliffs (2003)"},{"issue":"2-3","key":"14_CR12","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1016\/0004-3702(92)90021-O","volume":"57","author":"F. Giunchiglia","year":"1992","unstructured":"Giunchiglia, F., Walsh, T.: A Theory of Abstraction. Artificial Intelligence\u00a057(2-3), 323\u2013389 (1992)","journal-title":"Artificial Intelligence"},{"issue":"2","key":"14_CR13","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1145\/226643.226644","volume":"43","author":"B. Selman","year":"1996","unstructured":"Selman, B., Kautz, H.: Knowledge Compilation and Theory Approximation. Journal of the ACM\u00a043(2), 193\u2013224 (1996)","journal-title":"Journal of the ACM"},{"key":"14_CR14","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4419-8917-8","volume-title":"Constraint and Integer Programming: Toward a Unified Methodology","author":"M. Milano","year":"2004","unstructured":"Milano, M. (ed.): Constraint and Integer Programming: Toward a Unified Methodology. Kluwer Academic Publishers, Dordrecht (2004)"},{"key":"14_CR15","first-page":"133","volume":"2","author":"T. Gallai","year":"1959","unstructured":"Gallai, T.: \u00dcber extreme Punkt- und Kantenmengen. Ann. Univ. Sci. Budapest, Eotvos Sect. Math.\u00a02, 133\u2013139 (1959)","journal-title":"Ann. Univ. Sci. Budapest, Eotvos Sect. Math."},{"key":"14_CR16","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1137\/0202019","volume":"2","author":"J. Hopcroft","year":"1973","unstructured":"Hopcroft, J., Karp, R.: An n 5\/2 Algorithm for Maximum Matchings in Bipartite Graphs. SIAM\u00a02, 225\u2013231 (1973)","journal-title":"SIAM"},{"key":"14_CR17","unstructured":"R\u00e9gin, J.: A Filtering Algorithm for Constraints of Difference in CSPs. In: AAAI 1994, pp. 362\u2013367 (1994)"},{"key":"14_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1007\/3-540-63890-3_11","volume-title":"Algorithms and Computation","author":"T. Uno","year":"1997","unstructured":"Uno, T.: Algorithms for Enumerating All Perfect, Maximum and Maximal Matchings in Bipartite Graphs. In: Leong, H.-V., Jain, S., Imai, H. (eds.) ISAAC 1997. LNCS, vol.\u00a01350, pp. 92\u2013101. Springer, Heidelberg (1997)"},{"key":"14_CR19","volume-title":"Graphs and Hypergraphs","author":"C. Berge","year":"1973","unstructured":"Berge, C.: Graphs and Hypergraphs. American Elsevier, New York (1973)"},{"issue":"3","key":"14_CR20","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1109\/64.54670","volume":"5","author":"B. Nadel","year":"1990","unstructured":"Nadel, B.: Representation Selection for Constraint Satisfaction: A Case Study Using n-Queens. IEEE Expert\u00a05(3), 16\u201324 (1990)","journal-title":"IEEE Expert"},{"issue":"48","key":"14_CR21","first-page":"457","volume":"4","author":"J. Glaisher","year":"1874","unstructured":"Glaisher, J.: On the Problem of the Eight Queens. Philosophical Magazine\u00a04(48), 457\u2013467 (1874)","journal-title":"Philosophical Magazine"},{"issue":"1435","key":"14_CR22","doi-asserted-by":"publisher","first-page":"1197","DOI":"10.1098\/rstb.2003.1317","volume":"358","author":"R.C. Holte","year":"2003","unstructured":"Holte, R.C., Choueiry, B.Y.: Abstraction and Reformulation in Artificial Intelligence. Philosophical Trans. of the Royal Society Sect. Biological Sciences\u00a0358(1435), 1197\u20131204 (2003)","journal-title":"Philosophical Trans. of the Royal Society Sect. Biological Sciences"},{"key":"14_CR23","unstructured":"Razgon, I., O\u2019Sullivan, B., Provan, G.: Generalizing Global Constraints Based on Network Flows. In: Workshop on Constraint Modelling and Reformulation, pp. 74\u201387 (2006)"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming \u2013 CP 2007"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74970-7_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:49:11Z","timestamp":1619520551000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74970-7_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540749691"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74970-7_14","relation":{},"subject":[]}}