Login / Signup
Strong (D)QBF Dependency Schemes via Tautology-free Resolution Paths.
Olaf Beyersdorff
Joshua Blinkhorn
Tomás Peitl
Published in:
Electron. Colloquium Comput. Complex. (2020)
Keyphrases
</>
quantified boolean formulas
shortest path
real time
website
high resolution
higher resolution
database
image processing
optimal solution
low resolution
optimal path
sampling rate