Title: Recent results on upper bounds for 3SAT
Speaker:  Josep Diaz
Universitat Politecnica de Catalunya 


Date: Friday, April 25, 2008
Time 11:00-12:00PM
Venue: Room 3501, HKUST

Abstract:
This talk will survey some of the recent efforts in tightening the 
analytic approach to the threshold bound for the 3-SAT problem.