3 papers
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_…
math.CO2017
Separable discrete functions: recognition and sufficient conditions
Endre Boros, Ondrej Cepek, Vladimir Gurvich
A discrete function of variables is a mapping , where , and are arbitrary finite sets. Function is cal…