@inproceedings{Ken:06aaai, AUTHOR = {Ken Bayer and Josh Snyder and Berthe Y. Choueiry}, TITLE = {{An Interactive Constraint-Based Approach to Minesweeper}}, YEAR = 2006, BOOKTITLE = {Proceedings of the National Conference on Artificial Intelligence (AAAI 2006)}, ADDRESS = {Boston, Massachussets}, PAGES = {1933--1934}, KEYWORDS = {}}