{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T06:06:13Z","timestamp":1747548373875},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540614791"},{"type":"electronic","value":"9783540686019"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61479-6_30","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:43:56Z","timestamp":1330292636000},"page":"293-308","source":"Crossref","is-referenced-by-count":3,"title":["Solving over-constrained CSP using weighted OBDDs"],"prefix":"10.1007","author":[{"given":"Fabrice","family":"Bouquet","sequence":"first","affiliation":[]},{"given":"Philippe","family":"J\u00e9gou","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"15_CR1","volume-title":"Arc-consistency for dynamic constraint satisfaction problems","author":"C. Bessi\u00e8re","year":"1991","unstructured":"C. Bessi\u00e8re. Arc-consistency for dynamic constraint satisfaction problems. AAAI, Anaheim, USA, 1991."},{"key":"15_CR2","unstructured":"G. Brewka. Prefered subtheories: An extended logical framwork for default reasoning. Proceedings of IJCAI 89, Detroit, USA, pages 1043\u20131048, 1989."},{"key":"15_CR3","doi-asserted-by":"crossref","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"C-35","author":"E. Bryant","year":"1986","unstructured":"E. Bryant. Graph-based algorithhms for boolean function manipulation. IEEE Transactions on computers, C-35:677\u2013691, 1986.","journal-title":"IEEE Transactions on computers"},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"E. Bryant. Symbolic boolean manipulation with ordered bdd. ACM Computing Surveys, Vol 24 No.3, September 1992.","DOI":"10.1145\/136035.136043"},{"key":"15_CR5","unstructured":"C. Cayrol, M.C. Lagasquie-Schiex, and T. Schiex. Non-monotonic reasoning: from complexity to algorithms. 4th International Symposium on Artificial Intelligence and Mathematics, Fort Lauderdale, USA, 1996."},{"key":"15_CR6","unstructured":"H. Cormen, C. Leiserson, and R. Rivest. Introduction to algorithms. MIT Press-McGraw-Hill, 1991."},{"key":"15_CR7","volume-title":"Technical report","author":"M. Corsini","year":"1993","unstructured":"M. Corsini and A. Rauzy. Toupie user's manual. Technical report, LABRI, Universit\u00e9 de Bordeaux I, France, 1993."},{"key":"15_CR8","first-page":"294","volume":"I","author":"O. Coudert","year":"1991","unstructured":"O. Coudert and J.C. Madre. A logically complete reasonning maintenance system based on a logical constraint solver. IJCAI91, I:294\u2013299, 1991.","journal-title":"IJCAI91"},{"key":"15_CR9","unstructured":"J. De Kleer. A comparaison of atms and csps techniques. In IJCAI89, volume Detroit, USA, pages 290\u2013296, 1989."},{"key":"15_CR10","unstructured":"R. Dechter and A. Dechter. Belief maintenance in dynamic constraint networks. In AAAI, volume Saint Paul, USA, pages 37\u201342, 1988."},{"key":"15_CR11","first-page":"969","volume":"14-12","author":"P. Janssen","year":"1990","unstructured":"P. Janssen, P. J\u00e9gou, B. Nougier, M.C. Vilarem, and B. Castro. Synthia: Assited design of peptide synthesis plans. New Journal of Chemistry, 14-12:969\u2013976, 1990.","journal-title":"New Journal of Chemistry"},{"key":"15_CR12","unstructured":"P. J\u00e9gou. Using Binary Decision Diagrams to solve Dynamic CSPs: Preliminary Report. In Constraint Satisfacton issues raised by practical applications Workshop, editor, ECAI, 1994."},{"key":"15_CR13","volume-title":"Technical report","author":"D. Lehmann","year":"1992","unstructured":"D. Lehmann. Another perspective on default reasoning. Technical report, Leibniz Center for Research in Computer Science. Hebrew University of Jerusalem. Israel, 1992."},{"key":"15_CR14","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/0020-0255(74)90008-5","volume":"7","author":"U. Montanari","year":"1974","unstructured":"U. Montanari. Networks of constaints: fundamental properties and applications to picture procesing. Information Sciences, 7:95\u2013132, 1974.","journal-title":"Information Sciences"},{"key":"15_CR15","unstructured":"A. Rauzy. Cedre version 0.2: user's guide. Technical report, LaBRI URA CNRS 1304, 1994."},{"key":"15_CR16","unstructured":"T. Schiex and G. Verfaillie. Nogood recording for static and dynamic csps. In IEEE, editor, 5th IEEE International Conference on tools with Artificial Intelligence, 1993."},{"key":"15_CR17","first-page":"453","volume-title":"Solving constraint satisfaction problems using finite state automata","author":"N.R. Vempaty","year":"1992","unstructured":"N.R. Vempaty. Solving constraint satisfaction problems using finite state automata. AAAI, San Jose, USA:453\u2013458, 1992."}],"container-title":["Lecture Notes in Computer Science","Over-Constrained Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61479-6_30.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:32:32Z","timestamp":1619573552000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61479-6_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540614791","9783540686019"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-61479-6_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}