
Unique key Horn functions
Given a relational database, a key is a set of attributes such that a va...
read it

Generating clause sequences of a CNF formula
Given a CNF formula Φ with clauses C_1,...,C_m and variables V={x_1,...,...
read it

Bounds on the size of PC and URC formulas
In this paper we investigate CNF formulas, for which the unit propagatio...
read it

Propagation complete encodings of smooth DNNF theories
We investigate conjunctive normal form (CNF) encodings of a function rep...
read it

Backdoor Decomposable Monotone Circuits and their Propagation Complete Encodings
We describe a compilation language of backdoor decomposable monotone cir...
read it

Approximating minimum representations of key Horn functions
Horn functions form a subclass of Boolean functions and appear in many d...
read it

Phase Transition in Matched Formulas and a Heuristic for Biclique Satisfiability
A matched formula is a CNF formula whose incidence graph admits a matchi...
read it
Petr Kučera
is this you? claim profile