6 citations · 6 across the 2 of their papers we have counts for
3 papers
cs.LO2021★ 6 cited
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…
cs.LO2020
On The Relational Width of First-Order Expansions of Finitely Bounded Homogeneous Binary Cores with Bounded Strict Width
Michał Wrona
The relational width of a finite structure, if bounded, is always (1,1) or (2,3). In this paper we study the relational width of first-order expansions of finitely bounded homogene…
cs.LO2020
Relational Width of First-Order Expansions of Homogeneous Graphs with Bounded Strict Width
Michał Wrona
Solving the algebraic dichotomy conjecture for constraint satisfaction problems over structures first-order definable in countably infinite finitely bounded homogeneous structures…