Satisfiability is quasilinear complete in NQL (1978)

by C. P. Schnorr
Venue:J. ACM
Citations:34 - 0 self