Thesis: Solving Computational Puzzles with Geometric Constraints and Applications, May 2016 Advisor: Prof. David B. Cooper Website:
