QRAT Polynomially Simulates ∀ \text -Exp+Res.

Benjamin Kiesl Martina Seidl

Published in: SAT (2019)

Keyphrases

text retrieval
information retrieval
free text
database
text mining
np complete
web documents
semantic information
text documents
text analysis
keywords
dnf formulas