Akhil A. Dixit

According to our database, Akhil A. Dixit authored at least 6 papers between 2019 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2022

Consistent Answers of Aggregation Queries via SAT.

Akhil A. Dixit, Phokion G. Kolaitis

Proceedings of the 38th IEEE International Conference on Data Engineering, 2022

2021

Answering Queries Over Inconsistent Databases Using SAT Solvers.

Akhil A. Dixit

PhD thesis, 2021

Consistent Answers of Aggregation Queries using SAT Solvers.

Akhil A. Dixit, Phokion G. Kolaitis

CoRR, 2021

CAvSAT: Answering Aggregation Queries over Inconsistent Databases via SAT Solving.

Akhil A. Dixit, Phokion G. Kolaitis

Proceedings of the SIGMOD '21: International Conference on Management of Data, 2021

2019

CAvSAT: A System for Query Answering over Inconsistent Databases.

Akhil A. Dixit

Proceedings of the 2019 International Conference on Management of Data, 2019

A SAT-Based System for Consistent Query Answering.

Akhil A. Dixit, Phokion G. Kolaitis

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2019, 2019