> >

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

Keyword Results for
this URL
Total
searches