Habet, Djamal

6 publications

AAAI 2025 Improving the Lower Bound in Branch-and-Bound Algorithms for MaxSAT Shuolin Li, Chu-Min Li, Jordi Coll, Djamal Habet, Felip Manyà

IJCAI 2023 A New Variable Ordering for In-Processing Bounded Variable Elimination in SAT Solvers Shuolin Li, Chu-Min Li, Mao Luo, Jordi Coll, Djamal Habet, Felip Manyà

IJCAI 2023 Proofs and Certificates for Max-SAT (Extended Abstract) Matthieu Py, Mohamed Sami Cherif, Djamal Habet

IJCAI 2022 Combining Clause Learning and Branch and Bound for MaxSAT (Extended Abstract) Chu-Min Li, Zhenxing Xu, Jordi Coll, Felip Manyà, Djamal Habet, Kun He

JAIR 2022 Proofs and Certificates for Max-SAT Matthieu Py, Mohamed Sami Cherif, Djamal Habet

IJCAI 2015 On the Resiliency of Unit Propagation to Max-Resolution André Abramé, Djamal Habet