Conference Papers
Year :
Djamal Habet : Connect in order to contact the contributor
https://amu.hal.science/hal-03595003
Submitted on : Thursday, March 3, 2022-9:32:29 AM
Last modification on : Friday, March 24, 2023-2:53:26 PM
Cite
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⟩
6
View
0
Download