research
∙
09/04/2023
On the size of irredundant propagation complete CNF formulas
We investigate propagation complete (PC) CNF formulas for a symmetric de...
research
∙
01/03/2020
Bounds on the size of PC and URC formulas
In this paper we investigate CNF formulas, for which the unit propagatio...
research
∙
09/14/2019
Propagation complete encodings of smooth DNNF theories
We investigate conjunctive normal form (CNF) encodings of a function rep...
research
∙
11/23/2018