Doctor by the Universitat Politècnica de València with the thesis Polyhedra un modelo heurístico para la resolución de problemas de satisfacción de restricciones n-árias mediante hiperpoliedros 2002. Supervised by Dr. Federico Barber Sanchís.