Exploiting Fixable, Removable, and Implied Values in Constraint Satisfaction Problems.

Lucas Bordeaux, Marco Cadoli, Toni Mancini

Browse the full LPAR paper archive.