Login / Signup
Strong (D)QBF Dependency Schemes via Implication-free Resolution Paths.
Olaf Beyersdorff
Joshua Blinkhorn
Tomás Peitl
Published in:
Electron. Colloquium Comput. Complex. (2021)
Keyphrases
</>
high resolution
functional dependencies
database schemes
quantified boolean formulas
neural network
relational databases
low resolution
consequence finding