1. Beldiceanu, N., Carlsson, M., Petit, T.: Deriving filtering algorithms from constraint checkers. In: Wallace [Wal04], pp. 107–122
2. Bacchus, F., Walsh, T.: Propagating logical combinations of constraints. In: Kaelbling, L.P., Saffiotti, A. (eds.) Proc. of International Joint Conference on Artificial Intelligence IJCAI 2005, pp. 35–40 (2005)
3. Cheng, B.M.W., Choi, K.M.F., Lee, J.H.-M., Wu, J.C.K.: Increasing constraint propagation by redundant modeling: An experience report. Constraints 4(2), 167–192 (1999)
4. Codognet, P., Diaz, D.: Compiling constraints in clp(FD). Journal of Logic Programming 27(3), 185–226 (1996)
5. Cheng, K.C.K., Yap, R.H.C.: Constrained decision diagrams. In: Veloso, M.M., Kambhampati, S. (eds.) Proc. of 20th National Conference on Artificial Intelligence AAAI 2005, pp. 366–371. AAAI Press, Menlo Park (2005)