"Planar" Tautologies Hard for Resolution.

Stefan S. Dantchev Søren Riis

Published in: FOCS (2001)

Keyphrases

high resolution
consequence finding
low resolution
real time
neural network
case study
three dimensional
database
data sets
computer vision
search algorithm
lower bound
hidden markov models
ground plane
planar surfaces
higher resolution