"On the Relation Between Structured d-DNNFs and SDDs."

Beate Bollig, Martin Farenholtz (2021)

Details and statistics

DOI: 10.1007/S00224-020-10003-Y

access: open

type: Journal Article

metadata version: 2021-05-14

a service of  Schloss Dagstuhl - Leibniz Center for Informatics