Login / Signup
The Riis Complexity Gap for QBF Resolution.
Olaf Beyersdorff
Judith Clymo
Stefan S. Dantchev
Barnaby Martin
Published in:
Electron. Colloquium Comput. Complex. (2018)
Keyphrases
</>
high resolution
computational complexity
data sets
decision problems
consequence finding
database
real time
computational cost