Johannes Greiner | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Manuel Bodirsky
31 publications
Jakub Rydval
4 publications

research

∙ 12/10/2020

Tractable Combinations of Temporal CSPs

The constraint satisfaction problem (CSP) of a first-order theory T is t...

0 Manuel Bodirsky, et al. ∙

research

∙ 12/02/2020

Tractable Combinations of Theories via Sampling

For a first-order theory T, the Constraint Satisfaction Problem of T is ...

0 Manuel Bodirsky, et al. ∙

research

∙ 01/18/2018

Complexity of Combinations of Qualitative Constraint Satisfaction Problems

The CSP of a first-order theory T is the problem of deciding for a given...

0 Manuel Bodirsky, et al. ∙