Sami Cherif

1 paper in the IJCAI proceedings

IJCAI 2026

Weight-Aware Branch-and-Bound for Weighted Maximum Satisfiability

with Jialu Zhang, Chu-Min Li, Shuolin Li

doi:10.24963/ijcai.2026/270

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings