@incollection{Cai08,
author = {Noureddine Bouhmala and Xing Cai},
title = {A Multilevel Greedy Algorithm for the Satisfiability Problem},
booktitle = {Greedy Algorithms},
publisher = {IntechOpen},
address = {Rijeka},
year = {2008},
editor = {Witold Bednorz},
chapter = {3},
doi = {10.5772/6350},
url = {https://doi.org/10.5772/6350}
}