Wied Pakusa | DeepAI

DeepAI

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

Featured Co-authors

Martin Grohe
52 publications
Manuel Bodirsky
31 publications
Anuj Dawar
20 publications
Erich Grädel
14 publications
Benedikt Pago
5 publications
Jakub Rydval
4 publications

research

∙ 02/21/2020

Temporal Constraint Satisfaction Problems in Fixed-Point Logic

Finite-domain constraint satisfaction problems are either solvable by Da...

0 Manuel Bodirsky, et al. ∙

research

∙ 02/18/2019

Approximations of Isomorphism and Logics with Linear-Algebraic Operators

Invertible map equivalences are approximations of graph isomorphism that...

0 Anuj Dawar, et al. ∙

research

∙ 02/26/2018

A Finite-Model-Theoretic View on Propositional Proof Complexity

We establish new, and surprisingly tight, connections between propositio...

0 Erich Grädel, et al. ∙