Consistent Answers of Aggregation Queries via SAT
- Akhil A. Dixit
- Phokion G. Kolaitis
- 2022
- ICDE 2022
Conference paper
Publications
2 results for Akhil A. Dixit
CAvSAT: Answering Aggregation Queries over Inconsistent Databases via SAT Solving
- Akhil A. Dixit
- Phokion G. Kolaitis
- 2021
- SIGMOD 2021
Conference paper