 | 2007 |
| 5 |  | Christopher G. Reeson,
Kai-Chen Huang,
Kenneth M. Bayer,
Berthe Y. Choueiry:
An Interactive Constraint-Based Approach to Sudoku.
AAAI 2007: 1976-1977 |
| 4 |  | Kenneth M. Bayer,
Martin Michalowski,
Berthe Y. Choueiry,
Craig A. Knoblock:
Reformulating CSPs for Scalability with Application to Geospatial Reasoning.
CP 2007: 164-179 |
| 3 |  | Martin Michalowski,
Craig A. Knoblock,
Kenneth M. Bayer,
Berthe Y. Choueiry:
Exploiting automatically inferred constraint-models for building identification in satellite imagery.
GIS 2007: 6 |
| 2 |  | Kenneth M. Bayer,
Martin Michalowski,
Berthe Y. Choueiry,
Craig A. Knoblock:
Reformulating Constraint Satisfaction Problems to Improve Scalability.
SARA 2007: 64-79 |
| 2006 |
| 1 |  | Kenneth M. Bayer,
Josh Snyder,
Berthe Y. Choueiry:
An Interactive Constraint-Based Approach to Minesweeper.
AAAI 2006 |