{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,4]],"date-time":"2025-07-04T20:21:47Z","timestamp":1751660507309,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642219153"},{"type":"electronic","value":"9783642219160"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-21916-0_23","type":"book-chapter","created":{"date-parts":[[2011,6,25]],"date-time":"2011-06-25T15:16:37Z","timestamp":1309014997000},"page":"203-213","source":"Crossref","is-referenced-by-count":6,"title":["Tri-Based Set Operations and Selective Computation of Prime Implicates"],"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":"23_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":"23_CR2","doi-asserted-by":"crossref","unstructured":"Castell, T.: Computation of prime implicates and prime implicants by a variant of the davis and putnam procedure. In: ICTAI, pp. 428\u2013429 (1996)","DOI":"10.1109\/TAI.1996.560739"},{"key":"23_CR3","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1016\/0012-365X(78)90168-1","volume":"24","author":"A. Chandra","year":"1978","unstructured":"Chandra, A., Markowsky, G.: On the number of prime implicants. Discrete Mathematics\u00a024, 7\u201311 (1978)","journal-title":"Discrete Mathematics"},{"key":"23_CR4","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":"23_CR5","unstructured":"de Kleer, J.: An improved incremental algorithm for computing prime implicants. In: Proc. AAAI 1992, San Jose, CA, pp. 780\u2013785 (1992)"},{"key":"23_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1007\/3-540-55602-8_170","volume-title":"Proc. 11th International Conference on Automated Deduction","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":"23_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"543","DOI":"10.1007\/3-540-52885-7_113","volume-title":"Proc. 10th International Conference on Automated Deductions","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":"23_CR8","doi-asserted-by":"crossref","unstructured":"Jose, B.A., Shukla, S.K., Patel, H.D., Talpin, J.P.: On the deterministic multi-threaded software synthesis from polychronous specifications. In: Formal Models and Methods in Co-Design (MEMOCODE 2008), Anaheim, California (June 2008)","DOI":"10.1109\/MEMCOD.2008.4547700"},{"key":"23_CR9","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"},{"key":"23_CR10","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, U.S.A., pp. 232\u2013239 (November 1997)","DOI":"10.1109\/TAI.1997.632261"},{"key":"23_CR11","unstructured":"Marques-Silva, J.P.: On computing minimum size prime implicants. In: International Workshop on Logic Synthesis (1997)"},{"key":"23_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1007\/978-3-642-02716-1_19","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"A. Matusiewicz","year":"2009","unstructured":"Matusiewicz, A., Murray, N.V., Rosenthal, E.: Prime implicate tries. In: Giese, M., Waaler, A. (eds.) TABLEAUX 2009. LNCS(LNAI), vol.\u00a05607, pp. 250\u2013264. Springer, Heidelberg (2009)"},{"key":"23_CR13","doi-asserted-by":"crossref","unstructured":"Matusiewicz, A., Murray, N.V., Rosenthal, E.: Tri-based subsumption and selective computation of prime implicates. Technical Report SUNYA-CS-11-01. Department of Computer Science, University at Albany - SUNY (March 2011)","DOI":"10.1007\/978-3-642-21916-0_23"},{"key":"23_CR14","unstructured":"Ngair, T.: A new algorithm for incremental prime implicate generation. In: Proc. IJCAI 1993, Chambery, France (1993)"},{"issue":"8","key":"23_CR15","doi-asserted-by":"publisher","first-page":"521","DOI":"10.2307\/2308219","volume":"59","author":"W.V. Quine","year":"1952","unstructured":"Quine, W.V.: The problem of simplifying truth functions. The American Mathematical Monthly\u00a059(8), 521\u2013531 (1952)","journal-title":"The American Mathematical Monthly"},{"issue":"3","key":"23_CR16","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":"23_CR17","unstructured":"Rudell, R.L.: Logic Synthesis for VLSI Design. In: PhD thesis, EECS Department. University of California, Berkeley (1989)"},{"issue":"1-2","key":"23_CR18","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1016\/0004-3702(95)00053-4","volume":"81","author":"R. Schrag","year":"1996","unstructured":"Schrag, R., Crawford, J.M.: Implicates and prime implicates in random 3-SAT. Artificial Intelligence\u00a081(1-2), 199\u2013222 (1996)","journal-title":"Artificial Intelligence"},{"key":"23_CR19","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-25984-8_15","volume-title":"Automated Reasoning","author":"S. Schulz","year":"2004","unstructured":"Schulz, S.: Simple and efficient clause subsumption with feature vector indexing. In: Basin, D., Rusinowitch, M. (eds.) IJCAR 2004. LNCS (LNAI), vol.\u00a03097. Springer, Heidelberg (2004)"},{"issue":"4","key":"23_CR20","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":"23_CR21","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"},{"key":"23_CR22","doi-asserted-by":"crossref","unstructured":"Zhuang, Z.Q., Pagnucco, M., Meyer, T.: Implementing iterated belief change via prime implicates. In: Australian Conference on Artificial Intelligence, pp. 507\u2013518 (2007)","DOI":"10.1007\/978-3-540-76928-6_52"}],"container-title":["Lecture Notes in Computer Science","Foundations of Intelligent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21916-0_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,6]],"date-time":"2025-03-06T17:32:52Z","timestamp":1741282372000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21916-0_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642219153","9783642219160"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21916-0_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}