by H. G. Hein, M. Meyer and J. P. Müller
Reference:
FIDO: Finite Domain Consistency Techniques in Logic Programming (H. G. Hein, M. Meyer and J. P. Müller), In Proc. of the 2nd Russian Conference on Logic Programming, Springer, 1991.
Bibtex Entry:
@INPROCEEDINGS{Hein+91,
  author = {H.~G.~Hein and M.~Meyer and J.~P.~M\"uller},
  title = {FIDO: Finite Domain Consistency Techniques in Logic Programming},
  booktitle = {Proc.~of the 2nd Russian Conference on Logic Programming},
  year = {1991},
  series = {Lecture Notes in Artificial Intelligence},
  pages = {294--301},
  address = {Heidelberg},
  publisher = {Springer},
  rgroup = {winf},
  url = {http://dl.acm.org/citation.cfm?id=645705.758067}
}
back