Petr Kučera

2 accepted papers

2024

A Compiler for Weak Decomposable Negation Normal Form

AAAI 2024technical

This paper integrates weak decomposable negation normal form (wDNNF) circuits, introduced by Akshay et al. in 2018, into the knowledge compilation map. This circuit type generalises decomposable negation normal form (DNNF) circuits in such a way that they allow a restricted form of sharing variables…

Cited by 2 Source ↗PDF ↗code ↗Scholar ↗

2021

Backdoor Decomposable Monotone Circuits and Propagation Complete Encodings

Petr Kučera, Petr Savický

AAAI 2021technical

We describe a compilation language of backdoor decomposable monotone circuits (BDMCs) which generalizes several concepts appearing in the literature, e.g. DNNFs and backdoor trees. A C-BDMC sentence is a monotone circuit which satisfies decomposability property (such as in DNNF) in which the inputs…

Cited by 3 Source ↗PDF ↗Scholar ↗