Hybrid strategies of enumeration in constraint solving
Eric Monfroy1,4*, Broderick Crawford1,2, Ricardo Soto2,3, and Fernando Paredes5
1Departamento de Informática, Universidad Técnica Federico Santa María, Av. España 1680, Valparaíso, Chile.
2Pontificia Universidad Católica de Valparaíso, Chile.
3Universidad Autónoma de Chile, Chile.
4CNRS, LINA, Université de Nantes, France.
5Escuela de Ingeniería Industrial, Universidad Diego Portales, Santiago, Chile.
Email: [email protected]