Djamal Habet

1
papers
4
total citations

papers (1)

Improving the Lower Bound in Branch-and-Bound Algorithms for MaxSAT

AAAI 2025
4
citations