{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:18:17Z","timestamp":1725491897412},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540730989"},{"type":"electronic","value":"9783540730996"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-73099-6_15","type":"book-chapter","created":{"date-parts":[[2007,9,14]],"date-time":"2007-09-14T07:04:02Z","timestamp":1189753442000},"page":"183-198","source":"Crossref","is-referenced-by-count":2,"title":["Updating Reduced Implicate Tries"],"prefix":"10.1007","author":[{"given":"Neil V.","family":"Murray","sequence":"first","affiliation":[]},{"given":"Erik","family":"Rosenthal","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"Coudert, O., Madre, J.: Implicit and incremental computation of primes and essential implicant primes of boolean functions. In: Proceedings of the 29th ACM\/IEEE Design Automation Conference, pp. 36\u201339 (1992)","DOI":"10.1109\/DAC.1992.227866"},{"key":"15_CR2","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1613\/jair.989","volume":"17","author":"A. Darwiche","year":"2002","unstructured":"Darwiche, A., Marquis, P.: A knowledge compilation map. Journal of Artificial Intelligence Research\u00a017, 229\u2013264 (2002)","journal-title":"Journal of Artificial Intelligence Research"},{"key":"15_CR3","unstructured":"de Kleer, J.: An improved incremental algorithm for computing prime implicants. In: Proceedings of AAAI-92, San Jose, CA, pp. 780\u2013785 (1992)"},{"key":"15_CR4","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Foundations of Intelligent Systems","author":"R. H\u00e4hnle","year":"2005","unstructured":"H\u00e4hnle, R., Murray, N.V., Rosenthal, E.: Normal Forms for Knowledge Compilation. In: Hacid, M.-S., Murray, N.V., Ra\u015b, Z.W., Tsumoto, S. (eds.) ISMIS 2005. LNCS (LNAI), vol.\u00a03488, Springer, Heidelberg (2005)"},{"key":"15_CR5","series-title":"Lecture Notes in Computer Science","volume-title":"10th International Conference on Automated Deduction","author":"P. Jackson","year":"1990","unstructured":"Jackson, P., Pais, J.: Computing prime implicants. In: Stickel, M.E. (ed.) 10th International Conference on Automated Deduction. LNCS, vol.\u00a0449, Springer, Heidelberg (1990)"},{"key":"15_CR6","series-title":"Lecture Notes in Computer Science","volume-title":"Automated Deduction - CADE-11","author":"P. Jackson","year":"1992","unstructured":"Jackson, P.: Computing prime implicants incrementally. In: Kapur, D. (ed.) Automated Deduction - CADE-11. LNCS, vol.\u00a0607, Springer, Heidelberg (1992)"},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"Kautz, H., Selman, B.A.: general framework for knowledge compilation, in Proceedings of the International Workshop on Processing Declarative Knowledge (PDK), Kaiserslautern, Germany (July 1991)","DOI":"10.1007\/BFb0013538"},{"key":"15_CR8","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/S0747-7171(08)80029-6","volume":"9","author":"A. Kean","year":"1990","unstructured":"Kean, A., Tsiknis, G.: An incremental method for generating prime implicants\/implicates. Journal of Symbolic Computation\u00a09, 185\u2013206 (1990)","journal-title":"Journal of Symbolic Computation"},{"issue":"1","key":"15_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1111\/j.1467-8640.1992.tb00335.x","volume":"8","author":"A. Kean","year":"1992","unstructured":"Kean, A., Tsiknis, G.: Assumption based reasoning and clause management systems. Computational Intelligence\u00a08(1), 1\u201324 (1992)","journal-title":"Computational Intelligence"},{"issue":"4","key":"15_CR10","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1145\/321479.321481","volume":"15","author":"D.R. Morrison","year":"1968","unstructured":"Morrison, D.R.: PATRICIA\u2014 practical algorithm to retrieve information coded in alphanumeric. Journal of the ACM\u00a015(4), 34\u2013514 (1968)","journal-title":"Journal of the ACM"},{"key":"15_CR11","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","DOI":"10.1007\/11554554_18","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"N.V. Murray","year":"2005","unstructured":"Murray, N.V., Rosenthal, E.: Efficient query processing with compiled knowledge bases. In: Beckert, B. (ed.) TABLEAUX 2005. LNCS (LNAI), vol.\u00a03702, Springer, Heidelberg (2005)"},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"Murray, N.V., Rosenthal, E.: Efficient Query Processing with Reduced Implicate Tries. Journal of Automated Reasoning (to appear)","DOI":"10.1007\/s10817-006-9054-x"},{"key":"15_CR13","unstructured":"Ngair, T.A.: new algorithm for incremental prime implicate generation. In: Proc of IJCAI-93, Chambery, France (1993)"},{"key":"15_CR14","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/0004-3702(89)90067-2","volume":"38","author":"T.C. Przymusinski","year":"1989","unstructured":"Przymusinski, T.C.: An algorithm to compute circumscription. Artificial Intelligence\u00a038, 49\u201373 (1989)","journal-title":"Artificial Intelligence"},{"issue":"3","key":"15_CR15","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1023\/A:1005721905269","volume":"18","author":"A. Ramesh","year":"1997","unstructured":"Ramesh, A., Becker, G., Murray, N.V.: CNF and DNF considered harmful for computing prime implicants\/implicates. Journal of Automated Reasoning\u00a018(3), 337\u2013356 (1997)","journal-title":"Journal of Automated Reasoning"},{"key":"15_CR16","unstructured":"Reiter, R., de Kleer, J.: Foundations of assumption-based truth maintenance systems: preliminary report. In: Proceedings of the 6th National Conference on Artificial Intelligence, Seattle, WA , pp. 183\u2013188 (July 12-17 1987)"},{"issue":"4","key":"15_CR17","doi-asserted-by":"publisher","first-page":"304","DOI":"10.1109\/T-C.1970.222917","volume":"19","author":"J.R. Slagle","year":"1970","unstructured":"Slagle, J.R., Chang, C.L., Lee, R.C.T.: A new algorithm for generating prime implicants. IEEE transactions on Computers\u00a019(4), 304\u2013310 (1970)","journal-title":"IEEE transactions on Computers"},{"key":"15_CR18","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1016\/0885-064X(92)90033-8","volume":"8","author":"T. Strzemecki","year":"1992","unstructured":"Strzemecki, T.: Polynomial-time algorithm for generation of prime implicants. Journal of Complexity\u00a08, 37\u201363 (1992)","journal-title":"Journal of Complexity"}],"container-title":["Lecture Notes in Computer Science","Automated Reasoning with Analytic Tableaux and Related Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73099-6_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T09:59:58Z","timestamp":1619517598000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73099-6_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540730989","9783540730996"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73099-6_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}