The Equivalences of Refutational QRAT.

Leroy Chew Judith Clymo

Published in: SAT (2019)

Keyphrases

theorem proving
first order logic
relational algebra
connected components
inference rules
theorem prover
expressive power
binary images
query language
knowledge representation
high level
data mining
relational databases
graphical models
belief revision
database systems
knowledge base
artificial intelligence