www.cs.rice.edu

     
Recent paper on the hardness of random formulas for SAT solver; bounded tree-width.
Alexa traffic report for WWW.CS.RICE.EDU