R. Backofen and S. Will, Excluding Symmetries in Constraint-Based Search, Lecture Notes in Computer Science, vol.1713, pp.73-87, 1999.
DOI : 10.1007/978-3-540-48085-3_6

Y. Bekkers and P. Tarau, Monadic constructs for logic programming, Logic Programming, pp.51-65, 1995.

M. Bruynooghe, M. Codish, J. P. Gallagher, S. Genaim, and W. Vanhoof, Termination analysis of logic programs through combination of typebased norms, ACM Transactions on Programming Languages and Systems, vol.29, issue.2, 2007.

Y. Caseau and F. Laburthe, Cumulative scheduling with task intervals, JICSLP, pp.369-383, 1996.

A. M. Frisch, W. Harvey, C. Jefferson, B. Martinez-hernandez, and I. Miguel, Essence: A constraint language for specifying combinatorial problems, Constraints, vol.12, issue.1, pp.268-306, 2008.
DOI : 10.1007/s10601-008-9047-y

I. P. Gent and B. Smith, Symmetry breaking during search in constraint programming, Proceedings ECAI'2000, pp.599-603, 1999.

W. D. Harvey and M. L. Ginsberg, Limited discrepancy search, IJCAI'95: Proceedings of the 14th international joint conference on Artificial intelligence, pp.607-613, 1995.

J. Jaffar and J. Lassez, Constraint logic programming, Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '87, pp.111-119, 1987.
DOI : 10.1145/41625.41635

R. E. Korf, Optimal rectangle packing, ICAPS, pp.287-295, 2003.
DOI : 10.1007/s10479-008-0463-6

N. Nethercote, P. J. Stuckey, R. Becket, S. Brand, G. J. Duck et al., MiniZinc: Towards a Standard CP Modelling Language, CP, pp.529-543, 2007.
DOI : 10.1007/978-3-540-74970-7_38

O. Ohrimenko, P. Stuckey, and M. Codish, Propagation via lazy clause generation, Constraints, vol.37, issue.1???3, pp.357-391, 2009.
DOI : 10.1007/s10601-008-9064-x

R. Rafeh, K. Marriott, M. G. De-la-banda, N. Nethercote, and M. Wallace, Adding Search to Zinc, CP, pp.624-629, 2008.
DOI : 10.1007/978-3-540-85958-1_54

T. Schrijvers, P. Stuckey, and P. Wadler, Monadic constraint programming, Journal of Functional Programming, vol.19, issue.06, p.663, 2009.
DOI : 10.1145/359496.359529

T. Schrijvers, G. Tack, P. Wuille, H. Samulowitz, and P. J. Stuckey, Search combinators, Constraints, vol.12, issue.1???2, pp.269-305, 2013.
DOI : 10.1007/s10601-012-9137-8

H. Simonis and B. O. Sullivan, Search Strategies for Rectangle Packing, Proceedings of CP'08, pp.52-66, 2008.
DOI : 10.1007/978-3-540-85958-1_4

P. Van-hentenryck, The OPL Optimization programming Language, 1999.