Login / Signup
Logical Hierarchies in PTIME
Lauri Hella
Published in:
LICS (1992)
Keyphrases
</>
satisfiability problem
data complexity
decision trees
np complete
logical reasoning
artificial intelligence
computer vision
feature selection
image segmentation
video sequences
query evaluation
constraint databases
logical properties
logical operations