TY  - BOOK
AU  - Ishtaiwi, Abderaouf.
TI  - Weights Stagnation in Dynamic Local Search for SAT
PB  - Computer Science and Information Technology
KW  - INFORMATION TECHNOLOGY
UR  - http://airccse.org/V6N53.html
ER  -