@misc{Geschwender:18mt,
  AUTHOR = {Daniel J. Geschwender}, 
  TITLE = {{Effecitvely Enforcing Minimality During Backtrack Search}},
  YEAR = 2018,
  HOWPUBLISHED = {Masters Thesis, Department of Computer Science and Engineering, University
  of Nebraska-Lincoln}}