Akhil A. Dixit

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Consistent Answers of Aggregation Queries via SAT.
Proceedings of the 38th IEEE International Conference on Data Engineering, 2022

2021
Answering Queries Over Inconsistent Databases Using SAT Solvers.
PhD thesis, 2021

Consistent Answers of Aggregation Queries using SAT Solvers.
CoRR, 2021

CAvSAT: Answering Aggregation Queries over Inconsistent Databases via SAT Solving.
Proceedings of the SIGMOD '21: International Conference on Management of Data, 2021

2019
CAvSAT: A System for Query Answering over Inconsistent Databases.
Proceedings of the 2019 International Conference on Management of Data, 2019

A SAT-Based System for Consistent Query Answering.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2019, 2019


  Loading...