Djamal Habet
5 papers · 2015–2025 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓
🌍
Conference Polyglot
(2)
🏃
Academic Marathon
(10)
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(15)
Conferences
IJCAI (4)
AAAI (1)
Top co-authors
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