72 citations · 368 across the 79 of their papers we have counts for
3 papers · 2 filters
Tractability of Quantified Temporal Constraints To The Max
Manuel Bodirsky, Hubie Chen, Michał Wrona
A temporal constraint language is a set of relations that are first-order definable over (Q;<). We show that several temporal constraint languages whose constraint satisfaction pro…
On Logics and Homomorphism Closure
Manuel Bodirsky, Thomas Feller, Simon Knäuer +1
Predicate logic is the premier choice for specifying classes of relational structures. Homomorphisms are key to describing correspondences between relational structures. Questions…
Universal Horn Sentences and the Joint Embedding Property
Manuel Bodirsky, Jakub Rydval, André Schrottenloher
The finite models of a universal sentence in a finite relational signature are the age of a structure if and only if has the joint embedding property. We prove that the com…