Akhil A. Dixit | DeepAI

DeepAI

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

Featured Co-authors

Phokion G. Kolaitis
13 publications

research

∙ 03/04/2021

Consistent Answers of Aggregation Queries using SAT Solvers

The framework of database repairs and consistent answers to queries is a...

0 Akhil A. Dixit, et al. ∙

research

∙ 05/07/2019

A SAT-based System for Consistent Query Answering

An inconsistent database is a database that violates one or more integri...

0 Akhil A. Dixit, et al. ∙