| 2025 | AAAI | Improving the Lower Bound in Branch-and-Bound Algorithms for MaxSAT. | Shuolin Li, Chu-Min Li, Jordi Coll, Djamal Habet, Felip Many |
| 2025 | CP | Cargo Routing Optimization in Liner Shipping Networks. | Yousra El Ghazi, Djamal Habet, Cyril Terrioux |
| 2023 | CP | A CP Approach for the Liner Shipping Network Design Problem. | Yousra El Ghazi, Djamal Habet, Cyril Terrioux |
| 2023 | IJCAI | 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 |
| 2023 | IJCAI | Proofs and Certificates for Max-SAT (Extended Abstract). | Matthieu Py, Mohamed Sami Cherif, Djamal Habet |
| 2022 | CP | From Crossing-Free Resolution to Max-SAT Resolution. | Mohamed Sami Cherif, Djamal Habet, Matthieu Py |
| 2022 | IJCAI | Combining Clause Learning and Branch and Bound for MaxSAT (Extended Abstract). | Chu-Min Li, Zhenxing Xu, Jordi Coll, Felip Many, Djamal Habet, Kun He |
| 2021 | CP | Combining VSIDS and CHB Using Restarts in SAT. | Mohamed Sami Cherif, Djamal Habet, Cyril Terrioux |
| 2021 | CP | Combining Clause Learning and Branch and Bound for MaxSAT. | Chu-Min Li, Zhenxing Xu, Jordi Coll, Felip Many, Djamal Habet, Kun He |
| 2021 | ICTAI | Computing Max-SAT Refutations using SAT Oracles. | Matthieu Py, Mohamed Sami Cherif, Djamal Habet |
| 2021 | ICTAI | Inferring Clauses and Formulas in Max-SAT. | Matthieu Py, Mohamed Sami Cherif, Djamal Habet |
| 2021 | SAT | A Proof Builder for Max-SAT. | Matthieu Py, Mohamed Sami Cherif, Djamal Habet |
| 2020 | ICTAI | On the Refinement of Conflict History Search Through Multi-Armed Bandit. | Mohamed Sami Cherif, Djamal Habet, Cyril Terrioux |
| 2020 | ICTAI | Towards Bridging the Gap Between SAT and Max-SAT Refutations. | Matthieu Py, Mohamed Sami Cherif, Djamal Habet |
| 2019 | CP | Towards the Characterization of Max-Resolution Transformations of UCSs by UP-Resilience. | Mohamed Sami Cherif, Djamal Habet |
| 2019 | SAC | Conflict history based search for constraint satisfaction problem. | Djamal Habet, Cyril Terrioux |
| 2018 | ICTAI | Conflict History Based Branching Heuristic for CSP Solving. | Djamal Habet, Cyril Terrioux |
| 2016 | ICTAI | Learning Nobetter Clauses in Max-SAT Branch and Bound Solvers. | Andr Abram, Djamal Habet |
| 2015 | IJCAI | On the Resiliency of Unit Propagation to Max-Resolution. | Andr Abram, Djamal Habet |
| 2015 | ICTAI | Local Search Algorithm for the Partial Minimum Satisfiability Problem. | Andr Abram, Djamal Habet |
| 2014 | CP | Efficient Application of Max-SAT Resolution on Inconsistent Subsets. | Andr Abram, Djamal Habet |
| 2014 | ISAIM | Improving Configuration Checking for Satisfiable Random k-SAT Instances. | Andr Abram, Djamal Habet, Donia Toumi |
| 2014 | ICTAI | Local Max-Resolution in Branch and Bound Solvers for Max-SAT. | Andr Abram, Djamal Habet |
| 2014 | SoCS | Maintaining and Handling All Unit Propagation Reasons in Exact Max-SAT Solvers. | Andr Abram, Djamal Habet |
| 2013 | CP | Empirical Study of the Behavior of Conflict Analysis in CDCL Solvers. | Djamal Habet, Donia Toumi |
| 2012 | ICTAI | Inference Rules in Local Search for Max-SAT. | Andr Abram, Djamal Habet |
| 2012 | ICTAI | Local Search Based on Conflict Analysis for the Satisfiability Problem. | Djamal Habet, Donia Toumi |
| 2010 | AAAI | Toward a Generalization and a Reformulation of Goods in SAT - Preliminary Report. | Djamal Habet, Philippe Jgou |
| 2009 | ICTAI | A Tree Decomposition Based Approach to Solve Structured SAT Instances. | Djamal Habet, Lionel Paris, Cyril Terrioux |
| 2008 | ICTAI | Enhancing the Robustness/Efficiency of Local Search Algorithms for SAT. | Djamal Habet |
| 2007 | ICTAI | Consistent Neighborhood for the Satisfiability Problem. | Djamal Habet, Lionel Paris, Belaid Benhamou |
| 2004 | ECAI | Complete and Incomplete Algorithms for the Queen Graph Coloring Problem. | Michel Vasquez, Djamal Habet |
| 2004 | ICTAI | Solving the Selecting and Scheduling Satellite Photographs Problem with a Consistent Neighborhood Heuristic. | Djamal Habet, Michel Vasquez |
| 2002 | CP | A Hybrid Approach for SAT. | Djamal Habet, Chu Min Li, Laure Devendeville, Michel Vasquez |