An Interactive Constraint-Based Approach to Minesweeper. - Kenneth M. Bayer; Josh Snyder; Berthe Y. Choueiry (AAAI, 2006)

An Interactive Constraint-Based Approach to Sudoku. - Christopher G. Reeson; Kai-Chen Huang; Kenneth M. Bayer; Berthe Y. Choueiry (AAAI, 2007)

Reformulating CSPs for Scalability with Application to Geospatial Reasoning. - Kenneth M. Bayer; Martin Michalowski; Berthe Y. Choueiry; Craig A. Knoblock (CP, 2007)

Exploiting automatically inferred constraint-models for building identification in satellite imagery. - Martin Michalowski; Craig A. Knoblock; Kenneth M. Bayer; Berthe Y. Choueiry (GIS, 2007)

Reformulating Constraint Satisfaction Problems to Improve Scalability. - Kenneth M. Bayer; Martin Michalowski; Berthe Y. Choueiry; Craig A. Knoblock (SARA, 2007)