{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:43:42Z","timestamp":1725565422548},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540226710"},{"type":"electronic","value":"9783540277750"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-27775-0_24","type":"book-chapter","created":{"date-parts":[[2010,9,15]],"date-time":"2010-09-15T20:29:36Z","timestamp":1284582576000},"page":"343-355","source":"Crossref","is-referenced-by-count":0,"title":["Non-viability Deductions in Arc-Consistency Computation"],"prefix":"10.1007","author":[{"given":"Camilo","family":"Rueda","sequence":"first","affiliation":[]},{"given":"Frank D.","family":"Valencia","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"24_CR1","unstructured":"Agon, C., Assayag, G., Delerue, O., Rueda, C.: Objects, time and constraints in openmusic. In: ICMC 1998. ICMA, pp. 1\u201312 (1998)"},{"key":"24_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/3-540-45241-9_8","volume-title":"Practical Aspects of Declarative Languages","author":"G. Bella","year":"2001","unstructured":"Bella, G., Bistarelli, S.: Soft constraints for security protocol analysis: Confidentiality. In: Ramakrishnan, I.V. (ed.) PADL 2001. LNCS, vol.\u00a01990, pp. 108\u2013122. Springer, Heidelberg (2001)"},{"issue":"1","key":"24_CR3","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/0004-3702(94)90041-8","volume":"65","author":"C. Bessi\u00e9re","year":"1994","unstructured":"Bessi\u00e9re, C.: Arc-consistency and arc-consistency again. Artificial Intelligence\u00a065(1), 179\u2013190 (1994)","journal-title":"Artificial Intelligence"},{"key":"24_CR4","unstructured":"Bessi\u00e8re, C., Freuder, E.C., R\u00e9gin, J.C.: Using inference to reduce arc consistency computation. In: ICAI 1995, pp. 592\u2013599 (1995)"},{"key":"24_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-1479-4","volume-title":"Constraint-Based Scheduling. Applying Constraint programming to Scheduling Problems","author":"P. Baptiste","year":"2001","unstructured":"Baptiste, P., Le Pape, C., Nuijten, W.: Constraint-Based Scheduling. Applying Constraint programming to Scheduling Problems. Kluwer, Dordrecht (2001)"},{"key":"24_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/3-540-59479-5_24","volume-title":"Constraint Processing","author":"C. Bessi\u00e8re","year":"1995","unstructured":"Bessi\u00e8re, C., R\u00e9gin, J.C.: Using Bidirectionality to Speed Up Arc-Consistency Processing. In: Meyer, M. (ed.) Constraint Processing. LNCS, vol.\u00a0923, pp. 157\u2013169. Springer, Heidelberg (1995)"},{"issue":"1","key":"24_CR7","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/S0004-3702(98)00105-2","volume":"107","author":"C. Bessi\u00e9re","year":"1999","unstructured":"Bessi\u00e9re, C., Freuder, E.C., R\u00e9gin, J.C.: Using constraint metaknowledge to reduce arc consistency computation. Artificial Intelligence\u00a0107(1), 125\u2013148 (1999)","journal-title":"Artificial Intelligence"},{"key":"24_CR8","series-title":"Lecture Notes in Computer Science","volume-title":"Application and Theory of Petri Nets 1997","author":"J. Esparza","year":"1997","unstructured":"Esparza, J., Melzer, S.: Model checking LTL using constraint programming. In: Az\u00e9ma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol.\u00a01248, Springer, Heidelberg (1997)"},{"key":"24_CR9","volume-title":"A Guide to the Theory of NP-Completeness","author":"R. Garey","year":"1979","unstructured":"Garey, R., Johnson, D.S.: Computers and Intractability. In: A Guide to the Theory of NP-Completeness, W. H. Freeman and Company, New York (1979)"},{"key":"24_CR10","volume-title":"Advances in molecular bioinformatics","author":"C. Gaspin","year":"1994","unstructured":"Gaspin, C., Westhof, E.: The determination of secondary structures of RNA as a constraint satisfaction problem. In: Advances in molecular bioinformatics, IOS Press, Amsterdam (1994)"},{"key":"24_CR11","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/0004-3702(77)90007-8","volume":"8","author":"A.K. Mackworth","year":"1977","unstructured":"Mackworth, A.K.: Consistency in Networks of Relations. Artificial Intelligence\u00a08, 99\u2013118 (1977)","journal-title":"Artificial Intelligence"},{"issue":"2","key":"24_CR12","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1016\/0004-3702(86)90083-4","volume":"28","author":"R. Mohr","year":"1986","unstructured":"Mohr, R., Henderson, T.C.: Arc and path consistency revisited. Artificial Intelligence\u00a028(2), 225\u2013233 (1986)","journal-title":"Artificial Intelligence"},{"key":"24_CR13","volume-title":"Constraint Satisfaction in Logic Programming","author":"P. Hentenryck Van","year":"1989","unstructured":"Van Hentenryck, P.: Constraint Satisfaction in Logic Programming. MIT Press, Cambridge (1989)"},{"key":"24_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"755","DOI":"10.1007\/3-540-46135-3_58","volume-title":"Principles and Practice of Constraint Programming - CP 2002","author":"M.R.C. Dongen van","year":"2002","unstructured":"van Dongen, M.R.C.: AC-3d an efficient arc-consistency algorithm with a low space-complexity. In: Van Hentenryck, P. (ed.) CP 2002. LNCS, vol.\u00a02470, pp. 755\u2013760. Springer, Heidelberg (2002)"}],"container-title":["Lecture Notes in Computer Science","Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-27775-0_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T22:32:52Z","timestamp":1558305172000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27775-0_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540226710","9783540277750"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27775-0_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}