@misc{Khang:2020,
  AUTHOR = {Khang Phan}, 
  TITLE = {{Extending the CHOCO Constraint-Solver With High-Level Consistency With Evaluation on the Nonogram Puzzle}},
  YEAR = 2020,
  HOWPUBLISHED = {Undergraduate 
  Thesis, Department of Computer Science and Engineering, University
  of Nebraska-Lincoln}}