18 citations · 20 across the 8 of their papers we have counts for
5 papers · 1 filter
Recognizing distributed approval voting forms and correspondences
Endre Boros, Ondrej Cepek, Vladimir Gurvich +1
Each voter has cards that (s)he distributes among the candidates as a measure of approval. One (or several) candidate(s) who received the maximum number o…
On the degree sequences of dual graphs on surfaces
Endre Boros, Vladimir Gurvich, Martin Milanič +1
Given two graphs and with a one-to-one correspondence between their edges, when do and form a pair of dual graphs realizing the vertices and countries of a map…
Envy-free Relaxations for Goods, Chores, and Mixed Items
Kristóf Bérczi, Erika R. Bérczi-Kovács, Endre Boros +5
In fair division problems, we are given a set of items and a set of agents with individual preferences, and the goal is to find an allocation of items among agents…
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…
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_…