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