Model-based diagnosis with improved implicit hitting set dualization
Crossref DOI link: https://doi.org/10.1007/s10489-021-02408-0
Published Online: 2021-06-04
Published Print: 2022-01
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Zhou, Huisi
Ouyang, Dantong
Zhang, Liming http://orcid.org/0000-0001-8263-4194
Tian, Naiyu
Funding for this research was provided by:
National Natural Science Foundation of China (62076108, 61872159, 61672261)
Text and Data Mining valid from 2021-06-04
Version of Record valid from 2021-06-04
Article History
Accepted: 2 April 2021
First Online: 4 June 2021