@article {Simula.sc.742,
	title = {A Multilevel Approach for the Satisfiability Problem},
	journal = {ISAST Transactions on Computers and Intelligent Systems},
	volume = {1},
	number = {2},
	year = {2009},
	pages = {29-37},
	author = {Bouhmala, Noureddine and Cai, Xing}
}
