Dimension-Dependent behavior in the satisfability of random k-Horn formulae

Gabriel Istrate

Published in: CoRR (2000)

Keyphrases

np hard
multiscale
horn clauses
computer vision
human behavior
behavior analysis
database
data mining
database systems
expert systems
hidden markov models
propositional logic
uniformly distributed