Vardi, Moshe Y.

Vardi, Moshe Y.
All Links

Share this:

Details of Vardi, Moshe Y.

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