Moshe Y. Vardi
cs.rice.eduRecent paper on the hardness of random formulas for SAT solver; bounded tree-width
Rate This Site
Embed Badge
Place this code on your website to show you're listed here.
Recent paper on the hardness of random formulas for SAT solver; bounded tree-width