research
∙
09/06/2021
Tractability Frontier for Dually-Closed Temporal Quantified Constraint Satisfaction Problems
A temporal (constraint) language is a relational structure with a first-...
share
research
∙
04/23/2021
Tractability of Quantified Temporal Constraints To The Max
A temporal constraint language is a set of relations that are first-orde...
research
∙
02/15/2021
Smooth Approximations and Relational Width Collapses
We prove that relational structures admitting specific polymorphisms (na...
research
∙
05/08/2020
On The Relational Width of First-Order Expansions of Finitely Bounded Homogeneous Binary Cores with Bounded Strict Width
The relational width of a finite structure, if bounded, is always (1,1) ...
research
∙
01/18/2020