research
∙
12/10/2020
Tractable Combinations of Temporal CSPs
The constraint satisfaction problem (CSP) of a first-order theory T is t...
research
∙
12/02/2020
Tractable Combinations of Theories via Sampling
For a first-order theory T, the Constraint Satisfaction Problem of T is ...
research
∙
01/18/2018