Dr.Fill: Crosswords and an Implemented Solver for Singly Weighted CSPs.

Matthew L. Ginsberg

Published in: J. Artif. Intell. Res. (2011)

Keyphrases

constraint satisfaction problems
constraint propagation
constraint satisfaction
decision trees
objective function
special case
temporal constraints
constraint solvers