Clik here to view.
A SAT-based System for Consistent Query Answering.
Akhil A. Dixit, Phokion G. Kolaitis: A SAT-based System for Consistent Query Answering. CoRR abs/1905.02828 (2019)
View ArticleClik here to view.
CAvSAT: A System for Query Answering over Inconsistent Databases.
Akhil A. Dixit: CAvSAT: A System for Query Answering over Inconsistent Databases. SIGMOD Conference 2019: 1823-1825
View ArticleClik here to view.
A SAT-Based System for Consistent Query Answering.
Akhil A. Dixit, Phokion G. Kolaitis: A SAT-Based System for Consistent Query Answering. SAT 2019: 117-135
View ArticleClik here to view.
Consistent Answers of Aggregation Queries using SAT Solvers.
Akhil A. Dixit, Phokion G. Kolaitis: Consistent Answers of Aggregation Queries using SAT Solvers. CoRR abs/2103.03314 (2021)
View ArticleClik here to view.
CAvSAT: Answering Aggregation Queries over Inconsistent Databases via SAT...
Akhil A. Dixit, Phokion G. Kolaitis: CAvSAT: Answering Aggregation Queries over Inconsistent Databases via SAT Solving. SIGMOD Conference 2021: 2701-2705
View ArticleClik here to view.
Answering Queries Over Inconsistent Databases Using SAT Solvers.
Akhil A. Dixit: Answering Queries Over Inconsistent Databases Using SAT Solvers. University of California, Santa Cruz, USA, 2021
View ArticleClik here to view.
Consistent Answers of Aggregation Queries via SAT.
Akhil A. Dixit, Phokion G. Kolaitis: Consistent Answers of Aggregation Queries via SAT. ICDE 2022: 924-937
View Article
