{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,19]],"date-time":"2026-03-19T14:29:22Z","timestamp":1773930562282,"version":"3.50.1"},"reference-count":33,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"7","license":[{"start":{"date-parts":[[2015,7,1]],"date-time":"2015-07-01T00:00:00Z","timestamp":1435708800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of the China","doi-asserted-by":"publisher","award":["61003101"],"award-info":[{"award-number":["61003101"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of the China","doi-asserted-by":"publisher","award":["61272208"],"award-info":[{"award-number":["61272208"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of the China","doi-asserted-by":"publisher","award":["61472369"],"award-info":[{"award-number":["61472369"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Zhejiang Provincial Natural Science Foundation","award":["Y1100191"],"award-info":[{"award-number":["Y1100191"]}]},{"name":"extension of a paper that appeared in the Proceedings of the 24th International Workshop on the Principles of Diagnosis (DX-2013), Jerusalem, Israel, 2013, pp. 33\u201338"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Syst. Man Cybern, Syst."],"published-print":{"date-parts":[[2015,7]]},"DOI":"10.1109\/tsmc.2015.2400423","type":"journal-article","created":{"date-parts":[[2015,2,24]],"date-time":"2015-02-24T19:42:59Z","timestamp":1424806979000},"page":"1063-1076","source":"Crossref","is-referenced-by-count":13,"title":["Deriving All Minimal Hitting Sets Based on Join Relation"],"prefix":"10.1109","volume":"45","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5870-5730","authenticated-orcid":false,"family":"Xiangfu Zhao","sequence":"first","affiliation":[]},{"family":"Dantong Ouyang","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/1327452.1327492"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39955-8_3"},{"key":"ref31","first-page":"1","article-title":"Parallelized hitting set computation for model-based diagnosis","author":"jannach","year":"2014","journal-title":"Proc 25th Int Workshop Prin Diagn (DX-2014)"},{"key":"ref30","first-page":"1","article-title":"Exploring the duality in conflict-directed model-based diagnosis","author":"stern","year":"2012","journal-title":"Proc 26th AAAI Conf Artif Intell (AAAI)"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipl.2006.09.006"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/0004-3702(89)90079-9","article-title":"A correction to the algorithm in Reiter’s theory of diagnosis","volume":"41","author":"smith","year":"1989","journal-title":"Artif Intell"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-0190(00)00166-6"},{"key":"ref13","first-page":"2","article-title":"A low-cost approximate minimal hitting set algorithm and its application to model-based diagnosis","author":"abreu","year":"2009","journal-title":"Proc 8th Symp Abstract Reformulat Approx"},{"key":"ref14","first-page":"911","article-title":"Computing minimal diagnoses by greedy stochastic search","author":"feldman","year":"2008","journal-title":"Proc Nat Conf Artif Intell (AAAI)"},{"key":"ref15","first-page":"100","article-title":"Hitting set algorithms for model-based diagnosis","author":"de kleer","year":"2011","journal-title":"Proc 22nd Int Workshop Prin Diagn (DX-2011)"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2010.2048750"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-0190(02)00506-9"},{"key":"ref18","first-page":"648","article-title":"Optimizations for the Boolean approach to computing minimal hitting sets","author":"pill","year":"2012","journal-title":"Proc 20th Eur Conf Artif Intell (ECAI)"},{"key":"ref19","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1080\/10020070612331343209","article-title":"A method of combining SE-tree to compute all minimal hitting sets","volume":"16","author":"zhao","year":"2006","journal-title":"Progr Nat Sci"},{"key":"ref28","first-page":"521","article-title":"Focusing on independent diagnosis problems","author":"freitag","year":"1992","journal-title":"Proc 3rd Int Conf Prin Knowl Represent Reason (KR)"},{"key":"ref4","first-page":"77","article-title":"Computing minimal hitting sets with genetic algorithm","author":"lin","year":"2002","journal-title":"Proc 13th Int Workshop Prin Diagn (DX2)"},{"key":"ref27","first-page":"695","article-title":"A neutral netlist of 10 combinational benchmark circuits and a target translator in FORTRAN","author":"brglez","year":"1985","journal-title":"Proc IEEE Int Symp Circuits Syst (ISCAS)"},{"key":"ref3","year":"2012","journal-title":"PETS 2009 Benchmark Data"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-007-9084-z"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/j.dam.2005.10.022"},{"key":"ref5","first-page":"1","article-title":"New approaches for efficient solution of hitting set problem","author":"fijany","year":"2004","journal-title":"Proc Winter Int Symp Inf Commun Technol (WISICT)"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511852008"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.dam.2007.04.017"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(87)90062-2"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02927-1_17"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(87)90063-4"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74171-8_16"},{"key":"ref22","author":"garey","year":"1979","journal-title":"Computers and Intractability A Guide to the Theory of NP-Completeness"},{"key":"ref21","first-page":"33","article-title":"A distributed strategy for deriving minimal hitting-sets","author":"zhao","year":"2013","journal-title":"Proc 24th Int Workshop Prin Diagn (DX-2013)"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/S0888-613X(00)00051-7"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4684-2001-2_9"},{"key":"ref26","first-page":"174","article-title":"Discovery of minimal unsatisfiable subsets of constraints using hitting set dualization","author":"bailey","year":"2005","journal-title":"Proc 7th Int Conf Pract Aspects Declarat Lang (PADL)"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(94)90019-1"}],"container-title":["IEEE Transactions on Systems, Man, and Cybernetics: Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6221021\/7123014\/07047847.pdf?arnumber=7047847","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:01:52Z","timestamp":1642003312000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7047847\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,7]]},"references-count":33,"journal-issue":{"issue":"7"},"URL":"https:\/\/doi.org\/10.1109\/tsmc.2015.2400423","relation":{},"ISSN":["2168-2216","2168-2232"],"issn-type":[{"value":"2168-2216","type":"print"},{"value":"2168-2232","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,7]]}}}