On the Relation Between Structured d-DNNFs and SDDs
Crossref DOI link: https://doi.org/10.1007/s00224-020-10003-y
Published Online: 2020-08-17
Published Print: 2021-02
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Bollig, Beate http://orcid.org/0000-0002-4995-5612
Farenholtz, Martin
Text and Data Mining valid from 2020-08-17
Version of Record valid from 2020-08-17
Article History
First Online: 17 August 2020