On the Relative Succinctness of Sentential Decision Diagrams
Crossref DOI link: https://doi.org/10.1007/s00224-018-9904-z
Published Online: 2018-12-10
Published Print: 2019-08
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Bollig, Beate
Buttkus, Matthias
Text and Data Mining valid from 2018-12-10
Article History
First Online: 10 December 2018