Satisfiability Is Quasilinear Complete in NQL.

Claus-Peter Schnorr

Published in: J. ACM (1978)

Keyphrases

satisfiability problem
differential equations
computational complexity
propositional logic
databases
computer vision
np complete
computational properties
data sets
data mining
genetic algorithm
case study
database systems
data structure
decision procedures