{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,5,9]],"date-time":"2024-05-09T07:51:25Z","timestamp":1715241085773},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2008,4,25]],"date-time":"2008-04-25T00:00:00Z","timestamp":1209081600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Constraints"],"published-print":{"date-parts":[[2008,9]]},"DOI":"10.1007\/s10601-008-9042-3","type":"journal-article","created":{"date-parts":[[2008,4,24]],"date-time":"2008-04-24T15:10:15Z","timestamp":1209049815000},"page":"385-406","source":"Crossref","is-referenced-by-count":3,"title":["Reformulating Table Constraints using Functional Dependencies\u2014An Application to Explanation Generation"],"prefix":"10.1007","volume":"13","author":[{"given":"Hadrien","family":"Cambazard","sequence":"first","affiliation":[]},{"given":"Barry","family":"O\u2019Sullivan","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2008,4,25]]},"reference":[{"key":"9042_CR1","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1016\/S0004-3702(01)00162-X","volume":"135","author":"J. Amilhastre","year":"2002","unstructured":"Amilhastre, J., Fargier, H., & Marguis, P. (2002). Consistency restoration and explanations in dynamic CSPs \u2013 application to configuration. Artificial Intelligence, 135,199\u2013234.","journal-title":"Artificial Intelligence"},{"key":"9042_CR2","doi-asserted-by":"crossref","unstructured":"Bailey, J., & Stuckey, P. J. 2005. Discovery of minimal unsatisfiable subsets of constraints using hitting set dualization. In Proceedings of PADL (pp. 174\u2013186).","DOI":"10.1007\/978-3-540-30557-6_14"},{"issue":"1","key":"9042_CR3","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1145\/2422.322414","volume":"31","author":"C. Beeri","year":"1984","unstructured":"Beeri, C., Dowd, M., Fagin, R., & Statman, R. (1984). On the structure of armstrong relations for functional dependencies. Journal of the ACM, 31(1), 30\u201346.","journal-title":"Journal of the ACM"},{"key":"9042_CR4","doi-asserted-by":"crossref","unstructured":"Beeri, C., Fagin, R., & Howard, J. H. (1977). A complete axiomatization for functional and multivalued dependencies in database relations. In D. C.\u00a0P. Smith (Ed.), SIGMOD Conference (pp. 47\u201361). ACM.","DOI":"10.1145\/509404.509414"},{"key":"9042_CR5","unstructured":"Bessi\u00e8re, C., & R\u00e9gin, J.-C. (1997). Arc consistency for general constraint networks: Preliminary results. In IJCAI (Vol. 1, pp. 398\u2013404)."},{"issue":"1","key":"9042_CR6","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/0004-3702(87)90063-4","volume":"32","author":"J. Kleer de","year":"1987","unstructured":"de\u00a0Kleer, J., & Williams, B.\u00a0C. (1987). Diagnosing multiple faults. Artificial Intelligence, 32(1), 97\u2013130.","journal-title":"Artificial Intelligence"},{"key":"9042_CR7","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0004-3702(79)90008-0","volume":"12","author":"J. Doyle","year":"1979","unstructured":"Doyle, J. (1979). A truth maintenance system. Artificial Intelligence, 12, 231\u2013272.","journal-title":"Artificial Intelligence"},{"issue":"4","key":"9042_CR8","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1145\/242224.242304","volume":"28","author":"E. C. Freuder","year":"1996","unstructured":"Freuder, E.\u00a0C. (1996). In pursuit of the holy grail. ACM Computing Surveys, 28(4), 63.","journal-title":"ACM Computing Surveys"},{"key":"9042_CR9","volume-title":"Computers and intractability: A guide to the theory of NP-completeness. Series of books in the mathematical sciences","author":"M. R. Garey","year":"1979","unstructured":"Garey, M. R., & Johnson, D. S. (1979). Computers and intractability: A guide to the theory of NP-completeness. Series of books in the mathematical sciences. New York: W.H.Freeman."},{"issue":"1","key":"9042_CR10","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/0004-3702(94)90003-5","volume":"66","author":"M. Gyssens","year":"1994","unstructured":"Gyssens, M., Jeavons, P., & Cohen, D.\u00a0A. (1994). Decomposing constraint satisfaction problems using database techniques. Artificial Intelligence, 66(1), 57\u201389.","journal-title":"Artificial Intelligence"},{"issue":"2","key":"9042_CR11","first-page":"100","volume":"42","author":"Y. Huhtala","year":"1999","unstructured":"Huhtala, Y., K\u00e4rkk\u00e4inen, J., Porkka, P., Toivonen, H. (1999). Tane: An efficient algorithm for discovering functional and approximate dependencies. Computer journalen, 42(2), 100\u2013111.","journal-title":"Computer journalen"},{"key":"9042_CR12","unstructured":"Junker, U. (2004). QuickXplain: Preferred explanations and relaxations for over-constrained problems. In AAAI (pp. 167\u2013172)."},{"key":"9042_CR13","volume-title":"The versatility of using explanations within constraint programming. Research Report 03-04-INFO","author":"N. Jussien","year":"2003","unstructured":"Jussien, N. (2003). The versatility of using explanations within constraint programming. Research Report 03-04-INFO. Nantes, France: \u00c9cole des Mines de Nantes."},{"key":"9042_CR14","first-page":"321","volume-title":"ICCBR. Lecture notes in computer science","author":"D. B. Leake","year":"2001","unstructured":"Leake, D.\u00a0B., & Sooriamurthi, R. (2001). When two case bases are better than one: Exploiting multiple case bases. In D.\u00a0W. Aha, & I. Watson (Eds.), ICCBR. Lecture notes in computer science (Vol. 2080, pp. 321\u2013335). New York: Springer."},{"key":"9042_CR15","first-page":"284","volume-title":"CP. Lecture notes in computer science","author":"C. Lecoutre","year":"2006","unstructured":"Lecoutre, C., & Szymanek, R. (2006). Generalized arc consistency for positive table constraints. In F. Benhamou (Ed.), CP. Lecture notes in computer science (Vol. 4204, pp. 284\u2013298). New York: Springer."},{"key":"9042_CR16","first-page":"405","volume-title":"AAAI","author":"O. Lhomme","year":"2005","unstructured":"Lhomme, O., & R\u00e9gin, J.-C. (2005). A fast arc consistency algorithm for n-ary constraints. In M.\u00a0M. Veloso, & S. Kambhampati (Eds.), AAAI (pp. 405\u2013410). Menlo Park: AAAI Press \/ The MIT Press."},{"key":"9042_CR17","doi-asserted-by":"crossref","unstructured":"Liffiton, M.\u00a0H., & Sakallahm, K.\u00a0A. (2005). On finding all minimally unsatisfiable subformulas. In SAT (pp. 173\u2013186).","DOI":"10.1007\/11499107_13"},{"key":"9042_CR18","unstructured":"R\u00e9gin, J.-C. (1994). A filtering algorithm for constraints of difference in CSPs. In AAAI (pp. 362\u2013367)."},{"key":"9042_CR19","doi-asserted-by":"crossref","unstructured":"Reilly, J., Zhang, J., McGinty, L., Pu, P., & Smyth, B. (2007). Evaluating compound critiquing recommenders: A real-user study. In ACM Conference on electronic commerce (pp. 114\u2013123).","DOI":"10.1145\/1250910.1250929"},{"issue":"1","key":"9042_CR20","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R. Reiter","year":"1987","unstructured":"Reiter, R. (1987). A theory of diagnosis from first principles. Artificial Intelligence, 32(1), 57\u201395.","journal-title":"Artificial Intelligence"},{"issue":"1\/2","key":"9042_CR21","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1007\/BF00143881","volume":"1","author":"M. Wallace","year":"1996","unstructured":"Wallace, M. (1996). Practical applications of constraint programming. Constraints, 1(1\/2), 139\u2013168.","journal-title":"Constraints"}],"container-title":["Constraints"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10601-008-9042-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10601-008-9042-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10601-008-9042-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T19:14:14Z","timestamp":1559243654000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10601-008-9042-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,4,25]]},"references-count":21,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2008,9]]}},"alternative-id":["9042"],"URL":"https:\/\/doi.org\/10.1007\/s10601-008-9042-3","relation":{},"ISSN":["1383-7133","1572-9354"],"issn-type":[{"value":"1383-7133","type":"print"},{"value":"1572-9354","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,4,25]]}}}