Vardi, Moshe Y.
Recent paper on the hardness of random formulas for SAT solver; bounded tree-width.

No queries for www.cs.rice.edu/~vardi