by Meyer, Manfred, Müller, Jörg and Schrödl, Stefan
Reference:
FIDO: Exploring Finite Domain Consistency Techniques in Logic Programming (Meyer, Manfred, Müller, Jörg and Schrödl, Stefan), In Proceedings of the International Workshop on Processing Declarative Knowledge, Springer-Verlag, 1991.
Bibtex Entry:
@INPROCEEDINGS{Meyer+1991pdk,
  author = {Meyer, Manfred and M\"{u}ller, J\"{o}rg and Schr\"{o}dl, Stefan},
  title = {FIDO: Exploring Finite Domain Consistency Techniques in Logic Programming},
  booktitle = {Proceedings of the International Workshop on Processing Declarative
	Knowledge},
  year = {1991},
  series = {PDK '91},
  pages = {425--428},
  address = {London, UK},
  publisher = {Springer-Verlag},
  rgroup = {winf},
  url = {http://dl.acm.org/citation.cfm?id=648111.748587}
}
back