Dr.Fill: Crosswords and an Implemented Solver for Singly Weighted CSPs
1 introduction to dual decomposition for inference .