Combining MaxSAT Reasoning and Incremental Upper Bound for the Maximum Clique Problem
Résumé
no abstract
Gilles Dequen : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00999318
Soumis le : mardi 3 juin 2014-14:03:46
Dernière modification le : mercredi 22 mars 2023-11:44:12