@phdthesis{509,
  author = {Himanshu Neema},
  title = {A Solution-Clusters Based Approach To Solve Hard Constraint Satisfaction Problems},
  year = {2008},
  journal = {Master's Thesis},
  month = {May, 2008},
  publisher = {Vanderbilt University},
  language = {eng},
}