@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}
}
@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}
}
@article {Cai.2006.7,
	title = {A Unified Framework of Multi-Objective Cost Functions for Partitioning Unstructured Finite Element Meshes},
	journal = {Applied Mathematical Modelling},
	volume = {31},
	number = {9},
	year = {2007},
	pages = {1711-1728},
	author = {Cai, Xing and Bouhmala, Noureddine}
}
@inproceedings {SC.5.Bouhmala.2001,
	title = {Partition of Unstructured Finite Element Meshes by a Multilevel Approach},
	journal = {Applied Parallel Computing - New Paradigms for HPC in Industry and Academia, 5th International Conference, PARA 2000},
	year = {2001},
	pages = {187-195},
	publisher = {Springer-Verlag},
	type = {1},
	address = {Bergen, Norway},
	author = {Bouhmala, Noureddine and Cai, Xing},
	editor = {S{\o}revik et {al}}
}
