Efficient zonal diagnosis with maximum satisfiability
Crossref DOI link: https://doi.org/10.1007/s11432-017-9273-5
Published Online: 2018-05-18
Published Print: 2018-11
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Liu, Meng
Ouyang, Dantong
Cai, Shaowei
Zhang, Liming
Text and Data Mining valid from 2018-05-18
Article History
Received: 11 July 2017
Revised: 15 August 2017
Accepted: 27 September 2017
First Online: 18 May 2018