Industrial applications, language design, linear and hybrid solving approaches.