Djamal Habet
5 papers · 2015–2025 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🌍
Conference Polyglot · Bronze
🏃
Academic Marathon · Half
🌉
Interdisciplinary Bridge · Bronze
Top co-authors
Research topics
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