Communication Dans Un Congrès
Année : 2016
Djamal Habet : Connectez-vous pour contacter le contributeur
https://amu.hal.science/hal-03595003
Soumis le : jeudi 3 mars 2022-09:32:29
Dernière modification le : vendredi 22 mars 2024-18:24:04
Citer
Andre Abrame, Djamal Habet. Learning Nobetter Clauses in Max-SAT Branch and Bound Solvers. 2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI), Nov 2016, San Jose, United States. pp.452-459, ⟨10.1109/ICTAI.2016.0075⟩. ⟨hal-03595003⟩
7
Consultations
0
Téléchargements