Lowenheim, oui tout a fait. En meme temps il y a tellement d'effort pour faire marcher ces trucs la que souvent ca marche comme tu le veux. Parexemple CPLEX de ILOG est super fort pour faire de la programmation lineaire. Il reconnait des tonnes de structures classiques de probleme pour generer les coupes inteligente et cie. Ce qui fait qu'en moyenne c'est juste magique.
En ce moment je regardes un probleme qui s'ecrit tres bien sous la forme d'un LP (ILP pour certaines variantes). Je vais donc commencer mon etudes par ca, et si c'est trop lent je verrai pour utiliser autres chose.