@inbook {Simula.SC.198,
	title = {A Multilevel Greedy Algorithm for the Satisfiability Problem},
	booktitle = {Advances in Greedy Algorithms},
	year = {2008},
	pages = {39-54},
	publisher = {IN-TECH Education and Publishing},
	organization = {IN-TECH Education and Publishing},
	chapter = {3},
	address = {Vienna},
	isbn = {978-953-7619-27-5},
	author = {Bouhmala, Noureddine and Cai, Xing},
	editor = {Bednorz, Witold}
}
