@mastersthesis{geschwender:18ms,
  AUTHOR = {Daniel J. Geschwender},
  TITLE = {{Effectively Enforcing Minimality During Backtrack Search}}, 
  YEAR = 2018,
  MONTH = {May},
  SCHOOL = {Department of Computer Science and Engineering, 
               University of Nebraska-Lincoln},
  ADDRESS = {Lincoln, NE},
  KEYWORDS = {}
}