On the Relation Between Structured d-DNNFs and SDDs

Beate Bollig, Martin Farenholtz. On the Relation Between Structured d-DNNFs and SDDs. Theory Comput. Syst., 65(2):274-295, 2021. [doi]

Abstract

Abstract is missing.