{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T06:05:11Z","timestamp":1747548311484},"reference-count":12,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[1997,5,1]],"date-time":"1997-05-01T00:00:00Z","timestamp":862444800000},"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":["Information Processing Letters"],"published-print":{"date-parts":[[1997,5]]},"DOI":"10.1016\/s0020-0190(97)00058-6","type":"journal-article","created":{"date-parts":[[2003,4,23]],"date-time":"2003-04-23T20:36:00Z","timestamp":1051130160000},"page":"111-120","source":"Crossref","is-referenced-by-count":5,"title":["Using OBDDs to handle dynamic constraints"],"prefix":"10.1016","volume":"62","author":[{"given":"Fabrice","family":"Bouquet","sequence":"first","affiliation":[]},{"given":"Philippe","family":"J\u00e9gou","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0020-0190(97)00058-6_BIB1","series-title":"Proc. AAAI-91","first-page":"221","article-title":"Arc-consistency for Dynamic Constraint Satisfaction Problems","author":"Bessi\u00e8re","year":"1991"},{"key":"10.1016\/S0020-0190(97)00058-6_BIB2","doi-asserted-by":"crossref","first-page":"677","DOI":"10.1109\/TC.1986.1676819","article-title":"Graph-based algorithms for boolean function manipulation","volume":"35","author":"Bryant","year":"1986","journal-title":"IEEE Trans. Comput."},{"issue":"3","key":"10.1016\/S0020-0190(97)00058-6_BIB3","doi-asserted-by":"crossref","DOI":"10.1145\/136035.136043","article-title":"Symbolic boolean manipulation with ordered BDD","volume":"24","author":"Bryant","year":"1985","journal-title":"ACM Comput. Surveys"},{"key":"10.1016\/S0020-0190(97)00058-6_BIB4","series-title":"Proc. 4th Internat. Symp. on Artificial Intelligence and Mathematics","article-title":"Non-monotonic reasoning: From complexity to algorithms","author":"Cayrol","year":"1996"},{"key":"10.1016\/S0020-0190(97)00058-6_BIB5","series-title":"Introduction to Algorithms","author":"Cormen","year":"1991"},{"key":"10.1016\/S0020-0190(97)00058-6_BIB6","series-title":"Proc. AAAI-88","first-page":"37","article-title":"Belief maintenance in dynamic constraint networks","author":"Dechter","year":"1988"},{"key":"10.1016\/S0020-0190(97)00058-6_BIB7","series-title":"Proc. IJCAI-89","first-page":"290","article-title":"A comparison of ATMS and CSP techniques","author":"de Kleer","year":"1989"},{"key":"10.1016\/S0020-0190(97)00058-6_BIB8","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1016\/0004-3702(92)90004-H","article-title":"Partial constraint satisfaction","volume":"58","author":"Freuder","year":"1992","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0020-0190(97)00058-6_BIB9","first-page":"111","article-title":"Incremental constraint deletion in systems of linear constraints","volume":"55","author":"Huynh","year":"1995","journal-title":"Incremental Constraint Deletion in Systems of Linear Constraints"},{"issue":"12","key":"10.1016\/S0020-0190(97)00058-6_BIB10","first-page":"969","article-title":"SYNTHIA: Assisted design of peptide synthesis plans","volume":"14","author":"Janssen","year":"1990","journal-title":"New J. Chemistry"},{"key":"10.1016\/S0020-0190(97)00058-6_BIB11","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1016\/0020-0255(74)90008-5","article-title":"Network of constraints: Fundamental properties and applications to picture processing","volume":"7","author":"Montanari","year":"1974","journal-title":"Inform. Sci."},{"key":"10.1016\/S0020-0190(97)00058-6_BIB12","series-title":"Proc. AMI-94","first-page":"307","article-title":"Solution reuse in Dynamic Constraint Satisfaction Problems","author":"Schiex","year":"1994"}],"container-title":["Information Processing Letters"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0020019097000586?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0020019097000586?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,1,14]],"date-time":"2020-01-14T20:34:25Z","timestamp":1579034065000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0020019097000586"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,5]]},"references-count":12,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1997,5]]}},"alternative-id":["S0020019097000586"],"URL":"https:\/\/doi.org\/10.1016\/s0020-0190(97)00058-6","relation":{},"ISSN":["0020-0190"],"issn-type":[{"value":"0020-0190","type":"print"}],"subject":[],"published":{"date-parts":[[1997,5]]}}}