Djamal Habet

5 papers · 2015–2025 · 2 conferences · across top CS/AI conferences

Achievements

🌍 Conference Polyglot (2) 🏃 Academic Marathon (10) 🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🐝 Cross-Pollinator (15)

Conferences

IJCAI (4) AAAI (1)

Top co-authors

Jordi Coll (3) Chu-Min Li (3) Felip Manyà (3) Shuolin Li (2) Matthieu Py (1) André Abramé (1) Mohamed Sami Cherif (1) Mao Luo (1) Kun He (1) Zhenxing Xu (1)

Keywords

sat solver (2) branch and bound (1) lower bound (1) conflict-driven clause learning (1) maxsat solving (1) clause learning (1) soft clause (1) variable ordering (1) resolution refutation (1) bounding procedure (1) equivalence-preserving transformation (1) bounded variable elimination (1) combinatorial optimization (1) core detection (1)

Papers

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

A New Variable Ordering for In-processing Bounded Variable Elimination in SAT Solvers IJCAI 2023

Proofs and Certificates for Max-SAT (Extended Abstract) IJCAI 2023

Combining Clause Learning and Branch and Bound for MaxSAT (Extended Abstract) IJCAI 2022

On the Resiliency of Unit Propagation to Max-Resolution IJCAI 2015