3 citations · 5 across the 6 of their papers we have counts for
Showing 2020Show all
3 papers · 1 filter
cs.DM2020
Unique key Horn functions
Kristóf Bérczi, Endre Boros, Ondřej Čepek +2
Given a relational database, a key is a set of attributes such that a value assignment to this set uniquely determines the values of all other attributes. The database uniquely def…
cs.DM2020
Generating clause sequences of a CNF formula
Kristóf Bérczi, Endre Boros, Ondřej Čepek +3
Given a CNF formula with clauses and variables , a truth assignment of leads to a clause sequence $σ_Φ(a)=(C_…
cs.LO2020★ 3 cited
Bounds on the size of PC and URC formulas
Petr Kučera, Petr Savický
In this paper we investigate CNF formulas, for which the unit propagation is strong enough to derive a contradiction if the formula together with a partial assignment of the variab…