{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T03:07:10Z","timestamp":1761620830106},"reference-count":28,"publisher":"Elsevier BV","issue":"1-3","license":[{"start":{"date-parts":[[1992,12,1]],"date-time":"1992-12-01T00:00:00Z","timestamp":723168000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Artificial Intelligence"],"published-print":{"date-parts":[[1992,12]]},"DOI":"10.1016\/0004-3702(92)90003-g","type":"journal-article","created":{"date-parts":[[2003,3,14]],"date-time":"2003-03-14T13:02:52Z","timestamp":1047646972000},"page":"3-20","source":"Crossref","is-referenced-by-count":43,"title":["The logic of constraint satisfaction"],"prefix":"10.1016","volume":"58","author":[{"given":"Alan K.","family":"Mackworth","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0004-3702(92)90003-G_BIB1","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1016\/0004-3702(88)90023-9","article-title":"Constraint satisfaction from a deductive viewpoint","volume":"35","author":"Bibel","year":"1988","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(92)90003-G_BIB2","series-title":"Logic and Databases","first-page":"293","article-title":"Negation as failure","author":"Clark","year":"1978"},{"key":"10.1016\/0004-3702(92)90003-G_BIB3","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1016\/0004-3702(87)90091-9","article-title":"Constraint propagation with interval labels","volume":"32","author":"Davis","year":"1987","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(92)90003-G_BIB4","series-title":"Proceedings IJCAI-89","first-page":"290","article-title":"A comparison of ATMS and CSP techniques","author":"de Kleer","year":"1989"},{"key":"10.1016\/0004-3702(92)90003-G_BIB5","series-title":"Proceedings AAAI-90","first-page":"324","article-title":"Characterizing diagnoses","author":"de Kleer","year":"1990"},{"key":"10.1016\/0004-3702(92)90003-G_BIB6","series-title":"The Encyclopedia of AI","first-page":"276","article-title":"Constraint networks","author":"Dechter","year":"1992"},{"key":"10.1016\/0004-3702(92)90003-G_BIB7","series-title":"Proceedings IJCAI-91","first-page":"1164","article-title":"Directed constraint networks","author":"Dechter","year":"1991"},{"key":"10.1016\/0004-3702(92)90003-G_BIB8","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1016\/0743-1066(84)90014-1","article-title":"Linear-time algorithms for testing the satisfiability of propositional Horn formulae","volume":"3","author":"Dowling","year":"1984","journal-title":"J. Logic Program"},{"key":"10.1016\/0004-3702(92)90003-G_BIB9","author":"Enderton","year":"1972"},{"issue":"4","key":"10.1016\/0004-3702(92)90003-G_BIB10","doi-asserted-by":"crossref","first-page":"691","DOI":"10.1137\/0205048","article-title":"On the complexity of timetable and multicommodity flow problems","volume":"5","author":"Even","year":"1976","journal-title":"SIAM J. Comput."},{"key":"10.1016\/0004-3702(92)90003-G_BIB11","series-title":"Proceedings AAAI-90","first-page":"4","article-title":"Complexity of k-tree structured constraint satisfaction problems","author":"Freuder","year":"1990"},{"key":"10.1016\/0004-3702(92)90003-G_BIB12","series-title":"Proceedings 14th ACM Principles of Programming Languages Conference","first-page":"111","article-title":"Constraint logic programming","author":"Jaffar","year":"1987"},{"key":"10.1016\/0004-3702(92)90003-G_BIB13","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF01683259","article-title":"New problems complete for nondeterministic log space","volume":"10","author":"Jones","year":"1976","journal-title":"Math. Syst. Theor."},{"key":"10.1016\/0004-3702(92)90003-G_BIB14","series-title":"Proceedings First International Conference on Principles of Knowledge Representation and Reasoning","first-page":"180","article-title":"Parallel solutions to constraint satisfaction problems","author":"Kasif","year":"1989"},{"issue":"4","key":"10.1016\/0004-3702(92)90003-G_BIB15","doi-asserted-by":"crossref","first-page":"572","DOI":"10.1145\/321906.321919","article-title":"A proof procedure using connection graphs","volume":"22","author":"Kowalski","year":"1975","journal-title":"J. ACM"},{"key":"10.1016\/0004-3702(92)90003-G_BIB16","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1016\/0004-3702(77)90007-8","article-title":"Consistency in networks of relations","volume":"8","author":"Mackworth","year":"1977","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(92)90003-G_BIB17","series-title":"The Encyclopedia of AI","first-page":"285","article-title":"Constraint satisfaction","author":"Mackworth","year":"1992"},{"key":"10.1016\/0004-3702(92)90003-G_BIB18","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1016\/0004-3702(85)90041-4","article-title":"The complexity of some polynomial network consistency algorithms for constraint satisfaction problems","volume":"25","author":"Mackworth","year":"1985","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(92)90003-G_BIB19","author":"Maier","year":"1983"},{"key":"10.1016\/0004-3702(92)90003-G_BIB20","series-title":"Proceedings AAAI-90","first-page":"1109","article-title":"Truth maintenance","author":"McAllester","year":"1990"},{"key":"10.1016\/0004-3702(92)90003-G_BIB21","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1016\/0020-0255(74)90008-5","article-title":"Networks of constraints: fundamental properties and applications to picture processing","volume":"7","author":"Montanari","year":"1974","journal-title":"Inf. Sci."},{"issue":"2","key":"10.1016\/0004-3702(92)90003-G_BIB22","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1016\/0004-3702(91)90059-S","article-title":"Constraint relaxation may be perfect","volume":"48","author":"Montanari","year":"1991","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(92)90003-G_BIB23","series-title":"Exploring Artificial Intelligence","first-page":"439","article-title":"Nonmonotonic reasoning","author":"Reiter","year":"1988"},{"key":"10.1016\/0004-3702(92)90003-G_BIB24","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/0004-3702(89)90008-8","article-title":"A logical framework for depiction and image interpretation","volume":"41","author":"Reiter","year":"1989","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(92)90003-G_BIB25","series-title":"Proceedings IJCAI-81","first-page":"338","article-title":"A new method for solving constraint satisfaction problems","author":"Seidel","year":"1981"},{"key":"10.1016\/0004-3702(92)90003-G_BIB26","article-title":"Hierarchical arc consistency applied to numeric processing in constraint logic programming","author":"Sidebottom","year":"1991"},{"key":"10.1016\/0004-3702(92)90003-G_BIB27","author":"Van Hentenryck","year":"1989"},{"key":"10.1016\/0004-3702(92)90003-G_BIB28","series-title":"Proceedings 3rd IEEE Symposium on Parallel and Distributed Processing","first-page":"394","article-title":"Parallel and distributed algorithms for constraint satisfaction problems","author":"Zhang","year":"1991"}],"container-title":["Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:000437029290003G?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:000437029290003G?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,27]],"date-time":"2019-03-27T00:51:34Z","timestamp":1553647894000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/000437029290003G"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,12]]},"references-count":28,"journal-issue":{"issue":"1-3","published-print":{"date-parts":[[1992,12]]}},"alternative-id":["000437029290003G"],"URL":"https:\/\/doi.org\/10.1016\/0004-3702(92)90003-g","relation":{},"ISSN":["0004-3702"],"issn-type":[{"value":"0004-3702","type":"print"}],"subject":[],"published":{"date-parts":[[1992,12]]}}}