Conference
Enhanced Lower Bound Computation in Branch-and-Bound for MaxSAT
2026 · International Conference on Principles and Practice of Constraint Programming · pp. 60:1-60:18 · 1 citation
· 39 references
Computer Science