On Limitations of Structured (Deterministic) DNNFs
Crossref DOI link: https://doi.org/10.1007/s00224-019-09960-w
Published Online: 2019-12-04
Published Print: 2020-07
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Bollig, Beate https://orcid.org/0000-0002-4995-5612
Buttkus, Matthias
Text and Data Mining valid from 2019-12-04
Version of Record valid from 2019-12-04
Article History
First Online: 4 December 2019