Matej Konecný

dblp:88/2767 · DBLP profile ↗
← Back
2ranked-venue papers
1as first author
1since 2021 · last 2026
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 2 · 1 first-author · 1 since 2021
YearPublicationVenuePosition
2026 The Network Satisfaction Problem for Relation Algebras with at Most 4 Atoms
abstract
Andréka and Maddux classified the relation algebras with at most 3 atoms, and in particular they showed that all of them are representable [Hajnal Andréka and Roger D. Maddux, 1994]. Hirsch and Cristiani showed that the network satisfaction problem (NSP) for each of these algebras is in P or NP-hard [Matteo Cristiani and Robin Hirsch, 2004]. The literature contains many results on representations of relation algebras; in particular, some relation algebras with four atoms are not representable. We extend the result of Cristiani and Hirsch to relation algebras with at most 4 atoms: the NSP is always either in P or NP-hard. To this end, we construct universal, fully universal, or even normal representations for these algebras, whenever possible.
Manuel Bodirsky, Moritz Jahn, Simon Knäuer, Matej Konecný, Paul Winkler
ICALP4
2017 Minimal Sum Labeling of Graphs
Matej Konecný, Stanislav Kucera, Jana Masaríková, Jakub Pekárek, Stepán Simsa, Martin Toepfer 0002
IWOCA1