# References

Bibliography

[mackworth85] Alan K. Mackworth and Eugene C. Freuder. The complexity of some polynomial network consistency algorithms for constraint satisfaction problems. Artificial Intelligence, 25:65-74, 1985.

[correia05] Marco Correia, Pedro Barahona and Francisco Azevedo, CaSPER: A Programming Environment for Development and Integration of Constraint Solvers, in Proceedings of the First International Workshop on Constraint Programming Beyond Finite Integer Domains (BeyondFD'05), Pag. 59-73, 2005.

[azevedo07] Francisco Azevedo, Cardinal: A Finite Sets Constraint Solver, Constraints, Vol. 12, No. 1, Pag. 93-129, Springer, March 2007.

[viegas07] Ruben Viegas and Francisco Azevedo. GRASPER: A Framework for Graph CSPs. In Jimmy Lee and Peter Stuckey, editors, Proceedings of Sixth International Workshop on Constraint Modelling and Reformulation (ModRef'07), Providence, Rhode Island, USA, September 2007.

[krippahl02] Ludwig Krippahl and Pedro Barahona. PSICO: Solving protein structures with constraint programming and optimization. Constraints, 7(3-4):317-331, 2002.

[perriquet07] Olivier Perriquet, Marco Correia, Pedro Barahona and Ludwig Krippahl, A Low resolution Model for Protein Structure Prediction from NMR Data, in: Jose Neves, Manuel Filipe Santos and Jose Manuel Machado (eds), New Trends in Artificial Intelligence, Proceddings of EPIA'07, 13th Portuguese Conference on Artificial Intelligence, Universidade do Minho, ISBN 9789899561809, Pag. 565-576, November 2007.

[puget94] Jean-Francois Puget. A C++ implementation of CLP. In Proceedings of the Second Singapore International Conference on Intelligent Systems, Singapore, 1994.

[puget95] Jean-Francois Puget and Michel Leconte. Beyond the glass box: Constraints as objects. In ILPS, pages 513-527, 1995.

[gecode] Gecode - Generic Constraint Development Environment. http://www.gecode.org.

[shulte04] Christian Schulte and Peter J. Stuckey. Speeding up constraint propagation. In Mark Wallace, editor, Tenth International Conference on Principles and Practice of Constraint Programming, volume 3258 of Lecture Notes in Computer Science, pages 619-633, Toronto, Canada, September 2004. Springer-Verlag.

[shulte06] Christian Schulte and Guido Tack. Views and iterators for generic constraint implementations. In Recent Advances in Constraints (2005), volume 3978 of Lecture Notes in Artificial Intelligence, pages 118-132. Springer-Verlag, 2006.

[hentenryck00] van Hentenryck, Perron, and Puget. Search and strategies in OPL. ACMTCL: ACM Transactions on Computational Logic, 1, 2000.

[ortiz03] A. Lopez-Ortiz, C.-G. Quimper, J. Tromp, and P. van Beek. A fast and simple algorithm for bounds consistency of the alldifferent constraint. IJCAI-2003.

[regin94] Jean-Charles Regin. A filtering algorithm for constraints of difference in CSPs. In AAAI, pages 362-367, 1994.

[carlsson02] Mats Carlsson and Nicolas Beldiceanu. Revisiting the lexicographic ordering constraint. Technical Report T2002-17, Swedish Institute of Computer Science, November 16, 2002.