Akhil A. Dixit, Phokion G. Kolaitis:
Consistent Answers of Aggregation Queries via SAT. ICDE 2022: 924-937
Consistent Answers of Aggregation Queries via SAT. ICDE 2022: 924-937