CAvSAT: Answering Aggregation Queries over Inconsistent Databases via SAT SolvingAkhil A. DixitPhokion G. Kolaitis2021SIGMOD 2021