Listed in reverse chronological order:

  1. How Computers Solve Sudoku
    Ian S. Howell
    , Undergraduate Thesis, December 2017.

  2. An Online Registration System for the Math Day Event
    Matthew DeHaven
    , Undergraduate Thesis, May 2017.

  3. On Path Consistency for Binary Constraint Satisfaction Problems
    Christopher G. Reeson, M.S. Thesis, December 2016.

  4. A Comparative Study of Generalized Arc-Consistency Algorithms
    Olufikayo S. Adetunji, M.S. Thesis, December 2014.

  5. Using Algorithm Selection and Configuration on Constraint Propagation
    Daniel Geschwender
    , Undergraduate Honors Thesis, May 2014.

  6. OPRAM: An Online System for Assigning Capstone Course Students to Sponsored Projects
    Juedong Zhang, M.S. Project, May 2014.

  7. Reducing No-Goods in Binary Constraint Satisfaction Problems
    Mary D. Burke, Undergraduate Honors Thesis, May 2013

  8. Practical Tractability of CSPs by Higher Level Consistency and Tree Decomposition
    Shant Karakashian, Ph.D. Thesis, May 2013

  9. Relational Neighborhood Inverse Consistency for Constraint Satisfaction: A Structure-Based Approach for Adjusting Consistency & Managing Propagation
    Robert J. Woodward, M.S. Thesis, December 2011

  10. Reformulating Constraint Satisfaction Problems with Application to Geospatial Reasoning
    Kenneth M. Bayer, M.S. Thesis, August 2007

  11. Using Constraint Processing to Model, Solve, and Support Interactive Solving of Sudoku Puzzles
    Christopher G. Reeson, Undergraduate Thesis and Honors Thesis, May 2007

  12. GTAAP: An Online System For Managing and Assigning Graduate Teaching Assistants to Academic Tasks
    Ryan Way Hoong Lim , M.S. Project, July 2006

  13. Neighborhood Interchangeability for Non-Binary CSPs & Application to Databases
    Anagh Lal, M.S. Thesis, May 2005

  14. IndSet: A Decomposition Technique for CSPs Using Maximal Independent Sets and Its Integration with Local Search
    Joel Gompert, M.S. Thesis, May 2005

  15. Online Interactive Problem-Solving
    Venkateshwar Rao Thota, M.S. Project, December 2004

  16. An Improved Restart Strategy for Randomized Backtrack Search
    Venkata Praveen Reddy Guddeti, M.S. Thesis, December 2004

  17. Applying Constraint Satisfaction Techniques to AI Planning Problems
    Daniel Buettner, M.S. Thesis, December 2003

  18. Iterative Improvement Techniques for Solving Tight Constraint Satisfaction Problems
    Hui Zou, M.S. Thesis, November 2003

  19. An Empirical Study of the Performance of Preprocessing and Lookahead Techniques for Solving Binary Constraint Satisfaction Problems
    Zheying (Jane) Yang, M.S. Thesis, July 2003

  20. Consistency Methods for Temporal Reasoning
    Lin Xu, M.S. Thesis, April 2003

  21. Dynamically Detecting and Exploiting Symmetry in Finite Constraint Satisfaction Problems
    Amy M. Davis, M.S. Thesis, April 2002

  22. A Constraint Processing Approach to Assigning Graduate Teaching Assistants to Courses
    Robert L. Glaubius, Undergraduate Honors Thesis. December, 2001.