ndp.bib

@inproceedings{DBLP:conf/aaai/Regin94,
  author    = {Jean{-}Charles R{\'{e}}gin},
  title     = {A Filtering Algorithm for Constraints of Difference in CSPs},
  booktitle = {Proceedings of the 12th National Conference on Artificial Intelligence,
               Seattle, WA, USA, July 31 - August 4, 1994, Volume 1.},
  pages     = {362--367},
  year      = {1994},
  crossref  = {DBLP:conf/aaai/1994-1},
  url       = {http://www.aaai.org/Library/AAAI/1994/aaai94-055.php},
  timestamp = {Tue, 11 Dec 2012 17:40:41 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/aaai/Regin94},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@proceedings{DBLP:conf/aaai/1994-1,
  editor    = {Barbara Hayes{-}Roth and
               Richard E. Korf},
  title     = {Proceedings of the 12th National Conference on Artificial Intelligence,
               Seattle, WA, USA, July 31 - August 4, 1994, Volume 1},
  publisher = {{AAAI} Press / The {MIT} Press},
  year      = {1994},
  url       = {http://www.aaai.org/Conferences/AAAI/aaai94.php},
  isbn      = {0-262-61102-3},
  timestamp = {Thu, 01 Dec 2011 17:16:20 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/aaai/1994-1},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@misc{swi-clpfd,
	author = {{SWI-Prolog manual}},
	title = {library(clpfd): Constraint Logic Programming over Finite Domains},
	howpublished = {\url{http://www.swi-prolog.org/man/clpfd.html}},
	year = {2016}
}