Accelerating MUS enumeration by inconsistency graph partitioning
Crossref DOI link: https://doi.org/10.1007/s11432-019-9881-0
Published Online: 2019-10-09
Published Print: 2019-11
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Luo, Jie
Liu, Shaofan
Text and Data Mining valid from 2019-10-09
Version of Record valid from 2019-10-09
Article History
Received: 11 January 2019
Revised: 29 March 2019
Accepted: 19 April 2019
First Online: 9 October 2019