TY - RPRT TI - Dr.Fill: Crosswords and an Implemented Solver for Singly Weighted CSPs AU - Matthew L. Ginsberg PY - 2014 DO - 10.1613/jair.3437 UR - https://arxiv.org/abs/1401.4597 ID - 1401.4597 ER -