Fue un trabajo pionero sobre retropropagación inteligente para el problema de satisfacción de restricciones.