Dixit, Akhil A.
- A SAT-based System for Consistent Query Answering
2019/05/07 by Akhil A. Dixit, Dixit, Akhil A., Phokion G. Kolaitis +1 · 1 citation
Computer Science · #Advanced Database Systems and Queries #Databases (cs.DB) #Distributed systems and fault tolerance #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge