Computation of minimal unsatisfiable subformulas for SAT-based digital circuit error diagnosis
Crossref DOI link: https://doi.org/10.1007/s12652-020-02247-w
Published Online: 2020-06-29
Published Print: 2022-07
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Gaber, Lamya
Hussein, Aziza I.
Mahmoud, Hanafy
Mabrook, M. Mourad
Moness, Mohammed
Text and Data Mining valid from 2020-06-29
Version of Record valid from 2020-06-29
Article History
Received: 26 October 2019
Accepted: 17 June 2020
First Online: 29 June 2020