{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,25]],"date-time":"2026-06-25T15:21:02Z","timestamp":1782400862834,"version":"3.54.5"},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"1-4","license":[{"start":{"date-parts":[[1994,3,1]],"date-time":"1994-03-01T00:00:00Z","timestamp":762480000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[1994,3]]},"DOI":"10.1007\/bf01530750","type":"journal-article","created":{"date-parts":[[2005,4,19]],"date-time":"2005-04-19T00:37:15Z","timestamp":1113871035000},"page":"351-365","source":"Crossref","is-referenced-by-count":19,"title":["An SE-tree-based prime implicant generation algorithm"],"prefix":"10.1007","volume":"11","author":[{"given":"Ron","family":"Rymon","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"CR1","unstructured":"C. Berge,Graphs and Hypergraphs (North-Holland, 1973) chap. 18."},{"key":"CR2","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1016\/0004-3702(82)90024-8","volume":"18","author":"W. Bibel","year":"1982","unstructured":"W. Bibel, A comparative study of several proof procedures, Artificial Intelligence 18 (1982) 269?293.","journal-title":"Artificial Intelligence"},{"key":"CR3","unstructured":"J. de Kleer and B.C. Williams, Diagnosis with behavioral modes,Proc. IJCAI-89, Detroit, MI, 1989, pp. 1324?1330."},{"key":"CR4","unstructured":"J. de Kleer, Exploiting locality in a TMS,Proc. AAAI-90, Boston, MA, 1990, pp. 254?271."},{"key":"CR5","doi-asserted-by":"crossref","unstructured":"J. de Kleer, A.K. Mackworth and R. Reiter, Characterizing diagnoses.Proc. AAAI-90, Boston, MA, 1990, pp. 324?330.","DOI":"10.1007\/3-540-53104-1_27"},{"key":"CR6","unstructured":"J. de Kleer, Focusing on probable diagnoses.Proc. AAAI-91, Anaheim, CA, 1991, pp. 842?848."},{"key":"CR7","unstructured":"J. de Kleer, An improved incremental algorithm for generating prime implicates,Proc. AAAI-92, San Jose, CA, 1992, pp. 780?785."},{"key":"CR8","unstructured":"K.D. Forbus and J. de Kleer, Focusing the ATMS,Proc. AAAI-88, Saint Paul, MN, 1988, pp. 193?198."},{"key":"CR9","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1016\/0004-3702(89)90026-X","volume":"39","author":"M. Ginsberg","year":"1989","unstructured":"M. Ginsberg, A circumscriptive theorem prover, Artificial Intelligence 39 (1989) 209?230.","journal-title":"Artificial Intelligence"},{"key":"CR10","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/0004-3702(89)90079-9","volume":"41","author":"R. Greiner","year":"1989","unstructured":"R. Greiner, B.A. Smith and R.W. Wilkerson, A correction to the algorithm in Reiter's theory of diagnosis, Artificial Intelligence 41 (1989) 79?88.","journal-title":"Artificial Intelligence"},{"key":"CR11","doi-asserted-by":"crossref","unstructured":"L.J. Holzblatt, Diagnosing multiple failures using knowledge of component states,Proc. IEEE AI Applications, 1988, pp. 139?143.","DOI":"10.1109\/CAIA.1988.196094"},{"key":"CR12","doi-asserted-by":"crossref","unstructured":"P. Jackson and J. Pais, Computing prime implicants,Proc. Conference on Automated Deduction, 1990, pp. 543?557.","DOI":"10.1007\/3-540-52885-7_113"},{"key":"CR13","first-page":"593","volume":"72","author":"G. Karnaugh","year":"1953","unstructured":"G. Karnaugh, The map method for synthesis of combinational logic circuits, AIEE Trans. Commun. Electron. 72 (1953) 593?599.","journal-title":"AIEE Trans. Commun. Electron."},{"key":"CR14","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1016\/S0747-7171(08)80029-6","volume":"9","author":"A. Kean","year":"1990","unstructured":"A. Kean and G. Tsiknis, An incremental method for generating prime implicants\/implicates, J. Symbolic Comput. 9 (1990) 185?206.","journal-title":"J. Symbolic Comput."},{"key":"CR15","unstructured":"R.E. Korf, Linear-space best-first search: Summary of results, in:Proc. AAAI-92, San Jose, CA, 1992."},{"key":"CR16","doi-asserted-by":"crossref","first-page":"1417","DOI":"10.1002\/j.1538-7305.1956.tb03835.x","volume":"35","author":"E. McCluskey","year":"1956","unstructured":"E. McCluskey, Minimization of Boolean functions, Bell Syst. Tech. J. 35 (1956) 1417?1444.","journal-title":"Bell Syst. Tech. J."},{"key":"CR17","unstructured":"T. Ngair, Convex spaces as an order-theoretic basis for problem solving, Ph.D. Thesis, Department of Computer and Information Science, University of Pennsylvania (1992)."},{"key":"CR18","doi-asserted-by":"crossref","first-page":"521","DOI":"10.1080\/00029890.1952.11988183","volume":"59","author":"J.O.W. Quine","year":"1952","unstructured":"J.O.W. Quine, The problem of simplifying truth functions, Am. Math. Monthly 59 (1952) 521?531.","journal-title":"Am. Math. Monthly"},{"key":"CR19","unstructured":"O. Raiman and J. de Kleer, A minimality maintenance system, to appear inProc. KR-92, Cambridge MA, 1992."},{"key":"CR20","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R. Reiter","year":"1987","unstructured":"R. Reiter, A theory of diagnosis from first principles, Artificial Intelligence 32 (1987) 57?95.","journal-title":"Artificial Intelligence"},{"key":"CR21","unstructured":"S. Russell, Efficient memory-bounded search algorithms, in:Proc. ECAI-92, Vienna, Austria, 1992."},{"key":"CR22","unstructured":"R. Rymon, Search through systematic set enumeration, to appear inProc. KR-92, Cambridge, MA, 1992."},{"key":"CR23","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1002\/j.1538-7305.1948.tb01338.x","volume":"27","author":"C.E. Shannon","year":"1948","unstructured":"C.E. Shannon, A mathematical theory of communication, Bell Syst. Tech. J. 27 (1948) 379?623.","journal-title":"Bell Syst. Tech. J."},{"key":"CR24","doi-asserted-by":"crossref","unstructured":"J.R. Slagle, C. Chang and R.C. Lee, A new algorithm for generating prime implicants, IEEE Trans. Comput. 19(4) (1970).","DOI":"10.1109\/T-C.1970.222917"},{"key":"CR25","unstructured":"P. Struss and O. Dressler, Physical negation ? Integrating fault models into the general diagnostic engine,Proc. IJCAI-89, Detroit, MI, 1989, pp. 1318?1323."},{"key":"CR26","doi-asserted-by":"crossref","unstructured":"R. Tarjan, Data structures and network algorithms,Society for Industrial and Applied Mathematics, Philadelphia, PA (1983).","DOI":"10.1137\/1.9781611970265"},{"issue":"4","key":"CR27","doi-asserted-by":"crossref","first-page":"446","DOI":"10.1109\/PGEC.1967.264648","volume":"16","author":"P. Tison","year":"1967","unstructured":"P. Tison, Generalized consensus theory and application to the minimization of Boolean functions, IEEE Trans. Comput. 16(4) (1967) 446?456.","journal-title":"IEEE Trans. Comput."},{"key":"CR28","unstructured":"T.D. Wu, A problem decomposition method for efficient diagnosis and interpretation of multiple disorders;Proc. SCAMC-90, Washington, DC, 1990, pp. 86?92."}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01530750\/fulltext.html","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01530750.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01530750\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01530750","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,31]],"date-time":"2024-12-31T19:42:50Z","timestamp":1735674170000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01530750"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,3]]},"references-count":28,"journal-issue":{"issue":"1-4","published-print":{"date-parts":[[1994,3]]}},"alternative-id":["BF01530750"],"URL":"https:\/\/doi.org\/10.1007\/bf01530750","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,3]]}}}