Djamal Habet

Aix Marseille Univ , Université de Toulon , CNRS , LIS , Marseille , France

4 papers in the IJCAI proceedings

IJCAI 2023

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

with Shuolin Li, Chu-Min Li, Mao Luo, Jordi Coll, Felip Manyà

doi:10.24963/ijcai.2023/220

Details PDF

Proofs and Certificates for Max-SAT (Extended Abstract)

with Matthieu Py, Mohamed Sami Cherif

doi:10.24963/ijcai.2023/787

Details PDF

IJCAI 2022

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

with Chu-Min Li, Zhenxing Xu, Jordi Coll, Felip Manyà, Kun He

doi:10.24963/ijcai.2022/739

Details PDF

IJCAI 2015

On the Resiliency of Unit Propagation to Max-Resolution

with André Abramé

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings