共 16 条
[11]
An improved exponential-time algorithm for k-SAT
[J].
39TH ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE, PROCEEDINGS,
1998,
:628-637
[12]
Robson J.M., 2001, 125101 LABRI U BORD
[14]
Stein C, 2001, INTRO ALGORITHMS 2 V, Vsecond
[15]
Tarjan R. E., 1977, SIAM Journal on Computing, V6, P537, DOI 10.1137/0206038
[16]
[No title captured]