Learning Nobetter Clauses in Max-SAT Branch and Bound Solvers - Aix-Marseille Université Access content directly
Conference Papers Year :

Learning Nobetter Clauses in Max-SAT Branch and Bound Solvers

No file

Dates and versions

hal-03595003 , version 1 (03-03-2022)

Identifiers

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

Altmetric

Share

Gmail Facebook Twitter LinkedIn More