A SAT-Based System for Consistent Query Answering. - Akhil A. Dixit; Phokion G. Kolaitis (SAT, 2019)

CAvSAT: A System for Query Answering over Inconsistent Databases. - Akhil A. Dixit (SIGMOD Conference, 2019)

CAvSAT: Answering Aggregation Queries over Inconsistent Databases via SAT Solving. - Akhil A. Dixit; Phokion G. Kolaitis (SIGMOD Conference, 2021)

Consistent Answers of Aggregation Queries using SAT Solvers. - Akhil A. Dixit; Phokion G. Kolaitis (CoRR, 2021)

Answering Queries Over Inconsistent Databases Using SAT Solvers. - Akhil A. Dixit (2021)

Consistent Answers of Aggregation Queries via SAT. - Akhil A. Dixit; Phokion G. Kolaitis (ICDE, 2022)