A SAT-based system for consistent query answering

DOI10.1007/978-3-030-24258-9_8zbMath1441.68029arXiv1905.02828OpenAlexW2944451311MaRDI QIDQ2181925

Akhil A. Dixit, Phokion G. Kolaitis

Publication date: 20 May 2020

Full work available at URL: https://arxiv.org/abs/1905.02828

Mathematics Subject Classification ID

Database theory (68P15) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Computational aspects of satisfiability (68R07)

Related Items

Consistent query answering for primary keys in Datalog

This page was built for publication: A SAT-based system for consistent query answering