research
∙
02/17/2020
Unique key Horn functions
Given a relational database, a key is a set of attributes such that a va...
share
research
∙
02/17/2020
Generating clause sequences of a CNF formula
Given a CNF formula Φ with clauses C_1,...,C_m and variables V={x_1,...,...
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
Backdoor Decomposable Monotone Circuits and their Propagation Complete Encodings
We describe a compilation language of backdoor decomposable monotone cir...
research
∙
11/13/2018
Approximating minimum representations of key Horn functions
Horn functions form a subclass of Boolean functions and appear in many d...
research
∙
08/06/2018