Akhil A. Dixit Phokion G. Kolaitis CAvSAT: Answering Aggregation Queries over Inconsistent Databases via SAT Solving. 2701-2705 2021 SIGMOD Conference https://doi.org/10.1145/3448016.3452749 https://www.wikidata.org/entity/Q130870217 conf/sigmod/2021 db/conf/sigmod/sigmod2021.html#DixitK21