litow@csd4.csd.uwm.edu (Bruce E Litow) (01/01/91)
What is the best known DTIME bound for 3-SAT? Is it 2^O(n^(1/2)) or better? I am not interested in heuristics results. Please respond by email to: litow@cs.uwm.edu