User menu

Domain consistency with forbidden values

Bibliographic reference Deville, Yves ; Van Hentenryck, Pascal ; Mairy, Jean-Baptiste. Domain consistency with forbidden values. In: Constraints : an international journal, Vol. 18, no.3, p. 377-403 (2013)
Permanent URL http://hdl.handle.net/2078.1/141299
  1. Bacchus, F., & Walsh, T. (2005). Propagating logical combinations of constraints. In IJCAI (pp. 35–40).
  2. Bessière Christian, Arc-consistency and arc-consistency again, 10.1016/0004-3702(94)90041-8
  3. Bessière, C. (2006). Constraint propagation. In F. Rossi, P.V. Beek, T. Walsh (Eds.), Handbook of constraint programming. New York: Elsevier Science Inc.
  4. Bessière, C., & Régin, J.C. (1997). Arc consistency for general constraint networks: preliminary results. In IJCAI (pp. 398–404).
  5. Bessière, C., & Régin, J.C. (1998). Local consistency on conjunctions of constraints. In ECAI-98, proceedings workshop on non binary constraints (pp. 53–60).
  6. Bessière Christian, Régin Jean-Charles, Yap Roland H.C., Zhang Yuanlin, An optimal coarse-grained arc consistency algorithm, 10.1016/j.artint.2005.02.004
  7. Boussemart, F., Hemery, F., Lecoutre, C., Sais, L. (2004). Support inference for generic filtering. In CP (pp. 721–725).
  8. Cheng, K.C.K., & Yap, R.H.C. (2008). Maintaining generalized arc consistency on ad hoc r-ary constraints. In CP’08 (pp. 509–523). Springer.
  9. Stuckey Peter J., Introduction to the special issue on the Fourteenth International Conference on Principles and Practice of Constraint Programming (CP 2008), 10.1007/s10601-009-9090-3
  10. Deville, Y., & Van Hentenryck, P. (2010). Domain consistency with forbidden values. In Cohen, D. (ed.) Principles and practice of constraint programming—CP 2010—16th international conference, CP 2010, St. Andrews, Scotland, UK, September 6–10, 2010. Proceedings, Lecture Notes in Computer Science (vol. 6308, pp. 191–205). Springer.
  11. Dynadec: Comet (2011). www.dynadec.com .
  12. Gent, I.P., Jefferson, C., Miguel, I., Nightingale, P. (2007). Data structures for generalised arc consistency for extensional constraints. In AAAI’07 (pp. 191–197).
  13. Jefferson Christopher, Moore Neil C.A., Nightingale Peter, Petrie Karen E., Implementing logical connectives in constraint programming, 10.1016/j.artint.2010.07.001
  14. Katsirelos, G., Walsh, T. (2007). A compression algorithm for large arity extensional constraints. In CP’07 (pp. 379–393). Springer.
  15. Lecoutre, C. (2009). Constraint networks. Techniques and algorithms. ISTE/Wiley.
  16. Lecoutre, C., & Hemery, F. (2007). A study of residual supports in arc consistency. In Proceedings of the 20th international joint conference on Artifical intelligence (pp. 125–130). San Francisco: Morgan Kaufmann Publishers Inc. http://dl.acm.org/citation.cfm?id=1625275.1625294 .
  17. Lecoutre, C., Likitvivatanavong, C., Shannon, S., Yap, R., Zhang, Y. (2008). Maintaining arc consistency with multiple residues. Constraint Programming Letters(CPL), 2, 3–19.
  18. Lecoutre, C., & Szymanek, R. (2006). Generalized arc consistency for positive table constraints. In Proceedings of CP 06 (pp. 284–298).
  19. Lhomme, O. (2004). Arc-consistency filtering algorithms for logical combinations of constraints. In CPAIOR (pp. 209–224).
  20. Mackworth Alan K., Consistency in networks of relations, 10.1016/0004-3702(77)90007-8
  21. Mehta, D., & van Dongen, M.R.C. (2005). Reducing checks and revisions in coarse-grained MAC algorithms. In IJCAI (pp. 236–241).
  22. Mohr, R., & Henderson, T. (1986). Arc and path consistency revisited. Artificial Intelligence, 28, 225–233.
  23. Mohr Roger, Henderson Thomas C., Arc and path consistency revisited, 10.1016/0004-3702(86)90083-4
  24. Saraswat, V. (1993). Concurrent constraint programming. Cambridge: MIT Press.
  25. Schulte, C. (2000). Programming deep concurrent constraint combinators. In Proceedings of the second international workshop on practical aspects of declarative languages, PADL ’00 (pp. 215–229). London: Springer. http://dl.acm.org/citation.cfm?id=645770.667779 .
  26. Van Hentenryck, P., & Deville, Y. (1991). The cardinality operator: a new logical connective for constraint logic programming. In ICLP (pp. 745–759).
  27. Van Hentenryck Pascal, Deville Yves, Teng Choh-Man, A generic arc-consistency algorithm and its specializations, 10.1016/0004-3702(92)90020-x
  28. Van Hentenryck, P., Saraswat, V.A., Deville, Y. (1994). Design, implementation, and evaluation of the constraint language cc(fd). In A. Podelski (Ed.), Constraint programming: basics and trends (pp. 293–316). Springer.