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

@inproceedings{Bordeaux2004ExploitingFR,
  title={Exploiting Fixable, Removable, and Implied Values in Constraint Satisfaction Problems},
  author={Lucas Bordeaux and Marco Cadoli and Toni Mancini},
  booktitle={LPAR},
  year={2004}
}