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

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Theoretical computer science
1 paper
Computational complexity · 50% Logic in computer science · 50%

Topics — the 2 heaviest of 2, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Computational complexity
constraint satisfaction
1.012026
The Network Satisfaction Problem for Relation Algebras with at Most 4 Atoms · ICALP 2026
Logic in computer science › algebraic logic
relation algebra
1.012026
The Network Satisfaction Problem for Relation Algebras with at Most 4 Atoms · ICALP 2026
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