SAT solving for variants of first-order subsumption
Crossref DOI link: https://doi.org/10.1007/s10703-024-00454-1
Published Online: 2024-11-11
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Coutelier, Robin
Rath, Jakob
Rawson, Michael
Biere, Armin
Kovács, Laura
Funding for this research was provided by:
TU Wien
Text and Data Mining valid from 2024-11-11
Version of Record valid from 2024-11-11
Article History
Received: 20 January 2024
Accepted: 6 May 2024
First Online: 11 November 2024