{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,19]],"date-time":"2026-03-19T14:29:25Z","timestamp":1773930565242,"version":"3.50.1"},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2021,6,4]],"date-time":"2021-06-04T00:00:00Z","timestamp":1622764800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,6,4]],"date-time":"2021-06-04T00:00:00Z","timestamp":1622764800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62076108"],"award-info":[{"award-number":["62076108"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61872159"],"award-info":[{"award-number":["61872159"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61672261"],"award-info":[{"award-number":["61672261"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Appl Intell"],"published-print":{"date-parts":[[2022,1]]},"DOI":"10.1007\/s10489-021-02408-0","type":"journal-article","created":{"date-parts":[[2021,6,4]],"date-time":"2021-06-04T15:02:50Z","timestamp":1622818970000},"page":"2111-2118","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Model-based diagnosis with improved implicit hitting set dualization"],"prefix":"10.1007","volume":"52","author":[{"given":"Huisi","family":"Zhou","sequence":"first","affiliation":[]},{"given":"Dantong","family":"Ouyang","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8263-4194","authenticated-orcid":false,"given":"Liming","family":"Zhang","sequence":"additional","affiliation":[]},{"given":"Naiyu","family":"Tian","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,6,4]]},"reference":[{"issue":"1","key":"2408_CR1","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R Reiter","year":"1987","unstructured":"Reiter R (1987) A theory of diagnosis from first principles. Artif Intell 32(1):57\u201395","journal-title":"Artif Intell"},{"key":"2408_CR2","first-page":"911","volume":"8","author":"A Feldman","year":"2008","unstructured":"Feldman A, Provan GM, Van Gemund AJC (2008) Computing minimal diagnoses by greedy stochastic search. Proceedings of the Twenty-second AAAI Conference on Artificial Intelligence 8:911\u2013918","journal-title":"Proceedings of the Twenty-second AAAI Conference on Artificial Intelligence"},{"key":"2408_CR3","unstructured":"Siddiqi SA, Huang J (2007) Hierarchical diagnosis of multiple faults. Proceedings of the sixteenth international joint conference on artificial intelligence, pp 581\u2013586"},{"key":"2408_CR4","first-page":"1503","volume":"15","author":"D Jannach","year":"2015","unstructured":"Jannach D, Schmitz T, Shchekotykhin KM (2015) Parallelized hitting set computation for model-based diagnosis. Proceedings of the Twenty-ninth AAAI Conference on Artificial Intelligence 15:1503\u20131510","journal-title":"Proceedings of the Twenty-ninth AAAI Conference on Artificial Intelligence"},{"key":"2408_CR5","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1016\/j.artint.2013.01.002","volume":"196","author":"C Ans\u00f3tegui","year":"2013","unstructured":"Ans\u00f3tegui C, Bonet ML, Levy J (2013) SAT-based MaxSAT algorithms. Artif Intell 196:77\u2013105","journal-title":"Artif Intell"},{"key":"2408_CR6","unstructured":"Feldman A, Provan G, de Kleer J, et al. (2010) Solving model-based diagnosis problems with Max-SAT solvers and vice versa. Proceedings of the twenty-first international workshop on principles of diagnosis (DX-10): 185\u2013192"},{"key":"2408_CR7","unstructured":"Stern RT, Kalech M, Feldman A, et al. (2012) Exploring the duality in conflict-directed model-based diagnosis. Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence: 828\u2013834"},{"issue":"12","key":"2408_CR8","doi-asserted-by":"publisher","first-page":"1562","DOI":"10.1016\/j.dam.2005.10.022","volume":"155","author":"BC Williams","year":"2007","unstructured":"Williams BC, Ragno RJ (2007) Conflict-directed A* and its role in model-based embedded systems. Discret Appl Math 155(12):1562\u2013159","journal-title":"Discret Appl Math"},{"issue":"4","key":"2408_CR9","doi-asserted-by":"publisher","first-page":"608","DOI":"10.1145\/502090.502091","volume":"48","author":"A Darwiche","year":"2001","unstructured":"Darwiche A (2001) Decomposable negation normal form. Journal of the ACM (JACM) 48 (4):608\u2013647","journal-title":"Journal of the ACM (JACM)"},{"key":"2408_CR10","unstructured":"Metodi A, Stern R, Kalech M, et al. (2012) Compiling model-based diagnosis to Boolean satisfaction. Proceedings of the Twenty-Sixth AAAI conference on artificial intelligence, pp 793\u2013799"},{"issue":"11","key":"2408_CR11","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/j.ins.2017.11.029","volume":"61","author":"M Liu","year":"2018","unstructured":"Liu M, Ouyang D, Cai S, et al. (2018) Efficient zonal diagnosis with maximum satisfiability. Science China Information Sciences 61(11):17\u201330","journal-title":"Science China Information Sciences"},{"key":"2408_CR12","unstructured":"Menc\u00eda C, Previti A, Marques-Silva J (2015) Literal-based MCS extraction. Proceedings of the twenty-fourth international joint conference on artificial intelligence, pp 1973\u20131979"},{"issue":"1","key":"2408_CR13","doi-asserted-by":"publisher","first-page":"53","DOI":"10.3233\/SAT190116","volume":"11","author":"A Ignatiev","year":"2019","unstructured":"Ignatiev A, Morgado A, Marques-Silva J (2019) RC2: An efficient MaxSAT solver. Journal on Satisfiability, Boolean Modeling and Computation 11(1):53\u201364","journal-title":"Journal on Satisfiability, Boolean Modeling and Computation"},{"issue":"1","key":"2408_CR14","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/0004-3702(89)90079-9","volume":"41","author":"R Greiner","year":"1989","unstructured":"Greiner R, Smith BA, Wilkerson RW (1989) A correction to the algorithm in Reiter\u2019s theory of diagnosis. Artif Intell 41(1):79\u201388","journal-title":"Artif Intell"},{"key":"2408_CR15","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1613\/jair.4503","volume":"51","author":"A Metodi","year":"2014","unstructured":"Metodi A, Stern R, Kalech M, et al. (2014) A novel sat-based approach to model based diagnosis. J Artif Intell Res 51:377\u2013411","journal-title":"J Artif Intell Res"},{"key":"2408_CR16","unstructured":"de Kleer J (2011) Hitting set algorithms for model-based diagnosis. Proceedings of the twenty-second international workshop on priciples of diagnosis"},{"key":"2408_CR17","unstructured":"Diedrich A, Feldman A, Perdomo-Ortiz A, et al. (2016) Applying simulated annealing to problems in model-based diagnosis. Proceedings of the twenty-seventh international workshop on principles of diagnosis"},{"key":"2408_CR18","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1613\/jair.3025","volume":"38","author":"A Feldman","year":"2010","unstructured":"Feldman A, Provan G, Van Gemund A (2010) Approximate model-based diagnosis using greedy stochastic search. J Artif Intell Res 38:371\u2013413","journal-title":"J Artif Intell Res"},{"key":"2408_CR19","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1613\/jair.3031","volume":"39","author":"A Feldman","year":"2010","unstructured":"Feldman A, Provan G, Van Gemund A (2010) A model-based active testing approach to sequential diagnosis. J Artif Intell Res 39:301\u2013334","journal-title":"J Artif Intell Res"},{"key":"2408_CR20","unstructured":"Marques-Silva J, Janota M, Ignatiev A, Morgado A (2015) Efficient model based diagnosis with maximum satisfiability. Proceedings of the twenty-fourth international joint conference on artificial intelligence, pp 1966\u20131972"},{"key":"2408_CR21","doi-asserted-by":"crossref","unstructured":"Lamraoui S, Nakajima S (2014) A formula-based approach for automatic fault localization of imperative programs. In: ICFEM, pp 251\u2013266","DOI":"10.1007\/978-3-319-11737-9_17"},{"issue":"1","key":"2408_CR22","first-page":"88","volume":"24","author":"S Lamraoui","year":"2016","unstructured":"Lamraoui S, Nakajima S (2016) A formula-based approach for automatic fault localization of multi-fault programs. JIP 24(1):88\u201398","journal-title":"JIP"},{"key":"2408_CR23","doi-asserted-by":"crossref","unstructured":"Ignatiev A, Morgado A, Weissenbacher G, et al. (2019) Model-based diagnosis with multiple observations. Proceedings of the twenty-eighth international joint conference on artificial intelligence, pp 1108\u20131115","DOI":"10.24963\/ijcai.2019\/155"},{"key":"2408_CR24","unstructured":"Ignatiev A, Morgado A, Marques-Silva J (2017) Model based diagnosis of multiple observations with implicit hitting sets. arXiv:1707.01972"},{"key":"2408_CR25","doi-asserted-by":"crossref","unstructured":"Lei Z, Cai S (2018) Solving (weighted) partial MaxSAT by dynamic local search for SAT. Proceedings of the twenty-seventh international joint conference on artificial intelligence, pp 1346\u20131352","DOI":"10.24963\/ijcai.2018\/187"},{"key":"2408_CR26","unstructured":"Marques-Silva J, Lynce I, Malik S (2009) Conflict-driven clause learning SAT solvers. Handbook of satisfiability, pp 131\u2013153"},{"issue":"12","key":"2408_CR27","first-page":"1137","volume":"32","author":"H Fujiwara","year":"1983","unstructured":"Fujiwara H, Shimono T (1983) On the acceleration of test generation algorithms. IEEE Comput Archit Lett 32(12):1137\u20131144","journal-title":"IEEE Comput Archit Lett"},{"key":"2408_CR28","doi-asserted-by":"crossref","unstructured":"Kirkland T, Mercer MR (1987) A Topological Search Algorithm for ATPG. Proceeding of the twenty-forth ACM\/IEEE design automation conference, pp 502\u2013508","DOI":"10.1145\/37888.37963"}],"container-title":["Applied Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10489-021-02408-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10489-021-02408-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10489-021-02408-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,24]],"date-time":"2022-01-24T01:19:59Z","timestamp":1642987199000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10489-021-02408-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,6,4]]},"references-count":28,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2022,1]]}},"alternative-id":["2408"],"URL":"https:\/\/doi.org\/10.1007\/s10489-021-02408-0","relation":{},"ISSN":["0924-669X","1573-7497"],"issn-type":[{"value":"0924-669X","type":"print"},{"value":"1573-7497","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,6,4]]},"assertion":[{"value":"2 April 2021","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"4 June 2021","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}