@book{300118,
	author = {Ishtaiwi, Abderaouf.},
	title = {Weights Stagnation in Dynamic Local Search for SAT},
	publisher = {Computer Science and Information Technology},
	url = {http://airccse.org/V6N53.html}
}