@phdthesis {PHD-199502-Baker,
   type = {Dissertation Defense},
   author = {Andrew Baker},
   title = {Intelligent Backtracking on Constraint SatLsfaction Problems: Experimental and Theoretical Results},
   school = {College of Arts and Sciences, University of Oregon},
   month = 2,
   year = 1995,
   note = {Available at \url{https://www.cs.uoregon.edu/Reports/PHD-199502-Baker.pdf}},
}