Claus-Peter Schnorr
C. P. Schnorr.
Satisfiability is quasilinear complete in NQL.
Journal of the ACM
, 25(1):136-145, January 1978.
Citations.
Zvi Galil, Christoph M. Hoffmann, Eugene M. Luks, Claus P. Schnorr, and Andreas Weber.
An
O
(
n
^3 log
n
) deterministic and an
O
(
n
^3) Las Vegas isomorphism test for trivalent graphs.
Journal of the ACM
, 34(3):513-531, July 1987.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database