Dr.Fill：填字游戏与单一加权 CSP 的已实现求解器
人工智能
2014-01-21 v1
摘要
我们描述了 Dr.Fill，一个求解美式填字游戏的程序。从技术角度来看，Dr.Fill 的工作原理是将填字游戏转换为加权 CSP，然后使用各种新颖的技术来寻找解决方案。这些技术包括用于变量和值选择的通用启发式方法、有限差异搜索的变体，以及后处理和划分思想。分支定界法未被使用，因为它与后处理不兼容，且实验表明其几乎没有实用价值。Dr.Fill 在美国填字游戏锦标赛上的表现表明，它跻身世界前五十名左右的填字游戏求解器之列。
引用
@article{arxiv.1401.4597,
title = {Dr.Fill: Crosswords and an Implemented Solver for Singly Weighted CSPs},
author = {Matthew L. Ginsberg},
journal= {arXiv preprint arXiv:1401.4597},
year = {2014}
}