TY - BOOK AU - Doijade,M.M. AU - Kulkarni, D. B. [GUIDE] TI - A Parallel Algorithm For Cnf- Sat And Study Of Its Scalability PY - 2013/// CY - Sangli PB - Walchand College of Engineering ER -