Petr Illner

2 accepted papers

2025

New Compilation Languages Based on Restricted Weak Decomposability

AAAI 2025technical

This paper introduces two new compilation languages restricting weak decomposable negation normal form (wDNNF) circuits and integrates them into the knowledge compilation map. Positive (resp. negative) wDNNF circuits restrict wDNNF circuits so that each variable shared among the inputs of a conjunct…

Cited by 0 Source ↗PDF ↗code ↗Scholar ↗

2024

A Compiler for Weak Decomposable Negation Normal Form

Petr Illner, Petr Kučera

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 ↗