Raymond Wu, Jie Lu
ITA Conference 2007
We continue the study of complexity classes over the weak model introduced by P. Koiran. In particular we provide several separations of complexity classes, the most remarkable being the strict inclusion of P in NP. Other separations concern classes defined by weak polynomial time over parallel or alternating machines as well as over nondeterministic machines whose guesses are required to be 0 or 1. © 1994.
Raymond Wu, Jie Lu
ITA Conference 2007
Yao Qi, Raja Das, et al.
ISSTA 2009
John M. Boyer, Charles F. Wiecha
DocEng 2009
György E. Révész
Theoretical Computer Science