TY  - BOOK
AU  - Khadeeja Febin
AU  - Jyothis V
ED  - CS,CUSAT
TI  - Efficient implementation of SAT solver in GPU
PY  - 2018///
KW  - Efficient implementation of SAT solver in GPU
N1  - M Tech (SE) project report
ER  -