@misc{6,
  author = {Ed Zulkoski},
  title = {Understanding and Enhancing CDCL-based SAT Solvers},
  year = {2018},
  url = {https://uwspace.uwaterloo.ca/handle/10012/13525},
}