Kenneth M. Bayer

Publication Activity (10 Years)

Years Active: 2006-2007
Publications (10 Years): 0

Publications

Kenneth M. Bayer, Martin Michalowski, Berthe Y. Choueiry, Craig A. Knoblock
Reformulating CSPs for Scalability with Application to Geospatial Reasoning. CP (2007)
Kenneth M. Bayer, Martin Michalowski, Berthe Y. Choueiry, Craig A. Knoblock
Reformulating Constraint Satisfaction Problems to Improve Scalability. SARA (2007)
Christopher G. Reeson, Kai-Chen Huang, Kenneth M. Bayer, Berthe Y. Choueiry
An Interactive Constraint-Based Approach to Sudoku. AAAI (2007)
Martin Michalowski, Craig A. Knoblock, Kenneth M. Bayer, Berthe Y. Choueiry
Exploiting automatically inferred constraint-models for building identification in satellite imagery. GIS (2007)
Kenneth M. Bayer, Josh Snyder, Berthe Y. Choueiry
An Interactive Constraint-Based Approach to Minesweeper. AAAI (2006)