Conference
2026
Enhanced Lower Bound Computation in Branch-and-Bound for MaxSAT
Jialu Zhang, Chu-Min Li, Sami Cherif et al.
· International Conference on... · 1 citation
1 paper indexed here
We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.
Not the right person? Other researchers publish under this name.