Beate Bollig, Martin Farenholtz. On the Relation Between Structured d-DNNFs and SDDs. Theory Comput. Syst., 65(2):274-295, 2021. [doi]
@article{BolligF21, title = {On the Relation Between Structured d-DNNFs and SDDs}, author = {Beate Bollig and Martin Farenholtz}, year = {2021}, doi = {10.1007/s00224-020-10003-y}, url = {https://doi.org/10.1007/s00224-020-10003-y}, researchr = {https://researchr.org/publication/BolligF21}, cites = {0}, citedby = {0}, journal = {Theory Comput. Syst.}, volume = {65}, number = {2}, pages = {274-295}, }