Problèmes sévères et solveurs rigides : lorsque les méthodes explicites échouent