Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - JOUR
ID - DBLP:journals/mst/BolligB20
AU - Bollig, Beate
AU - Buttkus, Matthias
TI - On Limitations of Structured (Deterministic) DNNFs.
JO - Theory Comput. Syst.
VL - 64
IS - 5
SP - 799
EP - 825
PY - 2020//
DO - 10.1007/S00224-019-09960-W
UR - https://doi.org/10.1007/s00224-019-09960-w
ER -