{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,11]],"date-time":"2025-02-11T05:14:37Z","timestamp":1739250877475,"version":"3.37.0"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642027154"},{"type":"electronic","value":"9783642027161"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-02716-1_19","type":"book-chapter","created":{"date-parts":[[2009,6,30]],"date-time":"2009-06-30T04:22:21Z","timestamp":1246335741000},"page":"250-264","source":"Crossref","is-referenced-by-count":8,"title":["Prime Implicate Tries"],"prefix":"10.1007","author":[{"given":"Andrew","family":"Matusiewicz","sequence":"first","affiliation":[]},{"given":"Neil V.","family":"Murray","sequence":"additional","affiliation":[]},{"given":"Erik","family":"Rosenthal","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"19_CR1","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1093\/logcom\/exm051","volume":"18","author":"G. Bittencourt","year":"2008","unstructured":"Bittencourt, G.: Combining syntax and semantics through prime form representation. Journal of Logic and Computation\u00a018, 13\u201333 (2008)","journal-title":"Journal of Logic and Computation"},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"Coudert, O., Madre, J.: Implicit and incremental computation of primes and essential implicant primes of boolean functions. In: 29th ACM\/IEEE Design Automation Conference, pp. 36\u201339 (1992)","DOI":"10.1109\/DAC.1992.227866"},{"key":"19_CR3","unstructured":"de Kleer, J.: An improved incremental algorithm for computing prime implicants. In: Proc. AAAI-1992, San Jose, CA, pp. 780\u2013785 (1992)"},{"key":"19_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1007\/3-540-55602-8_170","volume-title":"Automated Deduction - CADE-11","author":"P. Jackson","year":"1992","unstructured":"Jackson, P.: Computing prime implicants incrementally. In: Kapur, D. (ed.) CADE 1992. LNCS(LNAI), vol.\u00a0607, pp. 253\u2013267. Springer, Heidelberg (1992)"},{"key":"19_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"543","DOI":"10.1007\/3-540-52885-7_113","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.) CADE 1990. LNCS(LNAI), vol.\u00a0449, pp. 543\u2013557. Springer, Heidelberg (1990)"},{"key":"19_CR6","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":"19_CR7","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"},{"key":"19_CR8","doi-asserted-by":"crossref","unstructured":"Manquinho, V.M., Flores, P.F., Silva, J.P.M., Oliveira, A.L.: Prime implicant computation using satisfiability algorithms. In: Proceedings of the IEEE International Conference on Tools with Artificial Intelligence, Newport Beach, USA, November 1997, pp. 232\u2013239 (1997)","DOI":"10.1109\/TAI.1997.632261"},{"issue":"4","key":"19_CR9","doi-asserted-by":"publisher","first-page":"514","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), 514\u2013534 (1968)","journal-title":"Journal of the ACM"},{"key":"19_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"231","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, pp. 231\u2013244. Springer, Heidelberg (2005)"},{"issue":"1-3","key":"19_CR11","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/s10817-006-9054-x","volume":"38","author":"N.V. Murray","year":"2007","unstructured":"Murray, N.V., Rosenthal, E.: Efficient query processing with reduced implicate tries. Journal of Automated Reasoning\u00a038(1-3), 155\u2013172 (2007)","journal-title":"Journal of Automated Reasoning"},{"key":"19_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/978-3-540-73099-6_15","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"N.V. Murray","year":"2007","unstructured":"Murray, N.V., Rosenthal, E.: Updating reduced implicate tries. In: Olivetti, N. (ed.) TABLEAUX 2007. LNCS(LNAI), vol.\u00a04548, pp. 183\u2013198. Springer, Heidelberg (2007)"},{"key":"19_CR13","unstructured":"Ngair, T.: A new algorithm for incremental prime implicate generation. In: Proc. IJCAI-1993, Chambery, France (1993)"},{"key":"19_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":"19_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":"19_CR16","unstructured":"Reiter, R., de Kleer, J.: Foundations of assumption-based truth maintenance systems: preliminary report. In: Proc. 6th National Conference on Artificial Intelligence, Seattle, WA, July 12-17, 1987, pp. 183\u2013188 (1987)"},{"issue":"4","key":"19_CR17","doi-asserted-by":"publisher","first-page":"304","DOI":"10.1109\/T-C.1970.222917","volume":"C-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\u00a0C-19(4), 304\u2013310 (1970)","journal-title":"IEEE transactions on Computers"},{"key":"19_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":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02716-1_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,10]],"date-time":"2025-02-10T14:03:57Z","timestamp":1739196237000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02716-1_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642027154","9783642027161"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02716-1_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}