The Equivalences of Refutational QRAT.

Leroy Chew Judith Clymo

Published in: Electron. Colloquium Comput. Complex. (2019)

Keyphrases

theorem proving
first order logic
relational algebra
connected components
inference rules
theorem prover
data sets
query processing
domain specific
multi dimensional
distributed systems