research
∙
08/01/2021
Amalgamation is PSPACE-hard
The finite models of a universal sentence Φ in a finite relational signa...
share
research
∙
04/22/2021
Universal Horn Sentences and the Joint Embedding Property
The finite models of a universal sentence Φ are the age of a structure i...
research
∙
12/10/2020
Tractable Combinations of Temporal CSPs
The constraint satisfaction problem (CSP) of a first-order theory T is t...
research
∙
02/21/2020