LaurentCabaret
commented
1 year ago Le concept de formulation logique est qu'il existe une équivalence entre résoudre un problème de PB (trouver les paramètres du modèle) et écrire une liste des sous-ensembles de conditions et les traiter par SAT (ou MAXSAT). C'est plus général que MRSORT et on ne se limite pas au cas additifs.
La version NCS-Coalition-SAT est plus rapide que MRSORT et la MAXSAT est plus lente que MRSORT. La différence entre SAT et MAXSAT est que SAT donne la réponse si elle existe et MAXSAT donne la réponse optimale alors que MRSORT donne UNE réponse acceptable.
jacquev6
Les algorithmes NCS sont des alternatives à MRSORT. Publiés par un doctorant de Vincent qui est maintenant MCF au MICS et un autre ex doctorant. L’idée est de développer les codes à partir des publications : La thèse de Khaled : https://theses.hal.science/tel-02053792 La thèse d’Ali (À déposer dans une branche) 2 publications (une avec les SAT et une avec les MAXSAT) (À déposer dans une branche)