The complexities of the satisfiability checking problems of feature diagram sublanguages
Crossref DOI link: https://doi.org/10.1007/s10270-022-01048-3
Published Online: 2022-10-11
Published Print: 2023-08
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Kautz, Oliver https://orcid.org/0000-0001-5234-6028
Text and Data Mining valid from 2022-10-11
Version of Record valid from 2022-10-11
Article History
Received: 17 February 2022
Revised: 29 June 2022
Accepted: 2 September 2022
First Online: 11 October 2022