Incremental MaxSAT Reasoning to Reduce Branches in a Branch-and-Bound Algorithm for MaxClique
Résumé
no abstract
Corinne LUCET : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01323743
Soumis le : mardi 31 mai 2016-10:20:16
Dernière modification le : mercredi 22 mars 2023-11:44:12