@phdthesis{basesearch-6149,
  title = {Augmenting Local Search for Satisfiability},
  author = {Finnegan Southey},
  year = {2004},
  url = {https://www.base-search.net/Record/7f5b4e94665866d7a80083039446bccae47eaf9ad079dab0211ae1f8a128ee9e},
  note = {base-search.net (ftunivwaterloo:oai:uwspace.uwaterloo.ca:10012/1075)},
  researchr = {https://researchr.org/publication/basesearch-6149},
  cites = {0},
  citedby = {0},
  school = {University of Waterloo, Ontario, Canada},
}