S. Krishna | DeepAI

DeepAI

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

Featured Co-authors

Supratik Chakraborty
15 publications
Wim Martens
14 publications
S. Akshay
11 publications
Diego Figueira
9 publications
Adwait Godbole
8 publications
Matthias Niewerth
7 publications
Jatin Arora
3 publications
Shetal Shah
3 publications
Tina Trautner
3 publications
Divya Raghunathan
2 publications
V. Dave
1 publication

research

∙ 03/09/2020

Containment of Simple Regular Path Queries

Testing containment of queries is a fundamental reasoning task in knowle...

0 Diego Figueira, et al. ∙

research

∙ 08/17/2019

Knowledge Compilation for Boolean Functional Synthesis

Given a Boolean formula F(X,Y), where X is a vector of outputs and Y is ...

0 S. Akshay, et al. ∙

research

∙ 05/15/2019

Deciding the Computability of Regular Functions over Infinite Words

The class of regular functions from infinite words to infinite words is ...

0 V. Dave, et al. ∙