@phdthesis{Schneider:22phd,
  AUTHOR = {Anthony R. Schneider},
  TITLE = {{New Relational Consistency Algorithms and a Flexible
Solver Architecture for Integrating Them During Search}},
  YEAR = 2022,
  SCHOOL = {School of Computing, University of Nebraska--Lincoln}}