System demonstrations at official events:

1. A Constraint-Based System for Hiring and Managing Graduate Teaching Assistants
   Ryan Lim, Venkata Praveen Guddeti, and Berthe Y. Choueiry
   • Demo system at CP 2004 (xxx-ps, pdf)
   • Bibtex entry
   • Poster (powerpoint)


2. An Interactive, Constraint-Based System for Task Allocation in an Academic Environment
   Ryan Lim, Venkata Praveen Guddeti, and Berthe Y. Choueiry
   • Demo system at ICAPS 2004 (ps, pdf)
   • Bibtex entry
   • Poster (powerpoint)
   • Storyboard (powerpoint)

On-line system demonstrations:

1. Interactive Visualization of Satisfiability Solving
   Mary D. Burke, Daniel Geschwender, Keegan Lunn, Margaret Krause, Berthe Y. Choueiry, and Matthew Dwyer
   
   • Poster (PPTX, PDF)


2. A Reformulation Strategy for Multi-Dimensional CSPs: The Case Study of the SET Game
   Amanda Swearngin, Berthe Y. Choueiry, and Eugene C. Freuder


3. New Relational Consistency Techniques for Solving Minesweeper
   Robert J. Woodward and Berthe Y. Choueiry
   • Poster (powerpoint)


4. A Constraint-Based Approach to Solving Sudoku: Solver, Constructor
   Christopher G. Reeson, Kai-Chen Huang, Kenneth M. Bayer, and Berthe Y. Choueiry
   • Poster--not yet available (powerpoint)
   • Storyboard (powerpoint)


5. A Constraint-Based Approach to Solving Minesweeper Old System. See Woodward's new system above.
   Ken Bayer, Josh Snyder, and Berthe Y. Choueiry
   • Poster (powerpoint)
   • Storyboard (powerpoint)


6. Real-time Simulation of Herds Moving Over Terrain
   Joel Gompert