Lightweight axiom pinpointing via replicated driver and customized SAT-solving
Crossref DOI link: https://doi.org/10.1007/s11704-022-1360-x
Published Online: 2022-08-08
Published Print: 2023-04
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Ouyang, Dantong
Liao, Mengting
Ye, Yuxin
Text and Data Mining valid from 2022-08-08
Version of Record valid from 2022-08-08
Article History
Received: 11 July 2021
Accepted: 30 December 2021
First Online: 8 August 2022