On Unique Satisfiability and the Threshold Behavior of Randomized Reductions.

Richard Chang Jim Kadin Pankaj Rohatgi

Published in: J. Comput. Syst. Sci. (1995)

Keyphrases

np complete
satisfiability problem
databases
behavior patterns
terminological reasoning
database
neural network
data mining
information systems
expert systems
human behavior
propositional logic
decision forest