Path: utzoo!utgpu!news-server.csri.toronto.edu!rutgers!cs.utexas.edu!uwm.edu!csd4.csd.uwm.edu!litow
From: litow@csd4.csd.uwm.edu (Bruce E Litow)
Newsgroups: comp.theory
Subject: 3-SAT
Message-ID: <8621@uwm.edu>
Date: 1 Jan 91 14:21:29 GMT
Sender: news@uwm.edu
Organization: University of Wisconsin - Milwaukee
Lines: 4
Originator: litow@csd4.csd.uwm.edu

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