|
|
Publications
Found 4 results Filters: author is Kannan [Clear All Filters]2007
2006
2002
A deterministic (2-2/(k+1))$^\mboxn$ algorithm for k-SAT
based on local search.
Dantsin, E.; Goerdt, r.; Hirsch, E.A.; Kannan, R.; Kleinberg, J.M.; Papadimitriou, C.H.; Raghavan, P.; Sch\" oning, U.
, Theor. Comput. Sci., Volume 289, Number 1, p.69-83, (2002)
|