20 citations · 85 across the 19 of their papers we have counts for
Showing 2023Show all
3 papers · 1 filter
math.RA2023
Finite Algebras with Hom-Sets of Polynomial Size
Libor Barto, Antoine Mottet
We provide an internal characterization of those finite algebras (i.e., algebraic structures) such that the number of homomorphisms from any finite algebra …
cs.LO2023★ 1 cited
Symmetries of structures that fail to interpret something finite
Libor Barto, Bertalan Bodor, Marcin Kozik +2
We investigate structural implications arising from the condition that a given directed graph does not interpret, in the sense of primitive positive interpretation with parameters…
cs.LO2023
An order out of nowhere: a new algorithm for infinite-domain CSPs
Antoine Mottet, Tomáš Nagy, Michael Pinsker
We consider the problem of satisfiability of sets of constraints in a given set of finite uniform hypergraphs. While the problem under consideration is similar in nature to the pro…