Djamal Habet

According to our database, Djamal Habet authored at least 46 papers between 2002 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

A Tableau Calculus for Signed Maximum Satisfiability.

Shuolin Li, Jordi Coll, Djamal Habet, Chu Min Li, Felip Manyà

Proceedings of the 53rd IEEE International Symposium on Multiple-Valued Logic, 2023

Proofs and Certificates for Max-SAT (Extended Abstract).

Matthieu Py, Mohamed Sami Cherif, Djamal Habet

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

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à

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

A CP Approach for the Liner Shipping Network Design Problem.

Yousra El Ghazi, Djamal Habet, Cyril Terrioux

Proceedings of the 29th International Conference on Principles and Practice of Constraint Programming, 2023

2022

Proofs and Certificates for Max-SAT.

Matthieu Py, Mohamed Sami Cherif, Djamal Habet

J. Artif. Intell. Res., 2022

Boosting branch-and-bound MaxSAT solvers with clause learning.

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

AI Commun., 2022

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

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

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

From Crossing-Free Resolution to Max-SAT Resolution.

Mohamed Sami Cherif, Djamal Habet, Matthieu Py

Proceedings of the 28th International Conference on Principles and Practice of Constraint Programming, 2022

A Tableau Calculus for MaxSAT Based on Resolution.

Shoulin Li, Jordi Coll, Djamal Habet, Chu-Min Li, Felip Manyà

Proceedings of the Artificial Intelligence Research and Development, 2022

2021

Conflict history based heuristic for constraint satisfaction problem solving.

Djamal Habet, Cyril Terrioux

J. Heuristics, 2021

A Proof Builder for Max-SAT.

Matthieu Py, Mohamed Sami Cherif, Djamal Habet

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2021, 2021

Inferring Clauses and Formulas in Max-SAT.

Matthieu Py, Mohamed Sami Cherif, Djamal Habet

Proceedings of the 33rd IEEE International Conference on Tools with Artificial Intelligence, 2021

Computing Max-SAT Refutations using SAT Oracles.

Matthieu Py, Mohamed Sami Cherif, Djamal Habet

Proceedings of the 33rd IEEE International Conference on Tools with Artificial Intelligence, 2021

Combining Clause Learning and Branch and Bound for MaxSAT.

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

Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, 2021

Combining VSIDS and CHB Using Restarts in SAT.

Mohamed Sami Cherif, Djamal Habet, Cyril Terrioux

Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, 2021

2020

Understanding the power of Max-SAT resolution through UP-resilience.

Mohamed Sami Cherif, Djamal Habet, André Abramé

Artif. Intell., 2020

Towards Bridging the Gap Between SAT and Max-SAT Refutations.

Matthieu Py, Mohamed Sami Cherif, Djamal Habet

Proceedings of the 32nd IEEE International Conference on Tools with Artificial Intelligence, 2020

On the Refinement of Conflict History Search Through Multi-Armed Bandit.

Mohamed Sami Cherif, Djamal Habet, Cyril Terrioux

Proceedings of the 32nd IEEE International Conference on Tools with Artificial Intelligence, 2020

2019

Conflict history based search for constraint satisfaction problem.

Djamal Habet, Cyril Terrioux

Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

Towards the Characterization of Max-Resolution Transformations of UCSs by UP-Resilience.

Mohamed Sami Cherif, Djamal Habet

Proceedings of the Principles and Practice of Constraint Programming, 2019

2018

Conflict History Based Branching Heuristic for CSP Solving.

Djamal Habet, Cyril Terrioux

Proceedings of the 8th International Workshop on Combinations of Intelligent Methods and Applications co-located with 30th International Conference on Artificial Intelligence Tools (ICTAI 2018), 2018

2017

Improving configuration checking for satisfiable random k-SAT instances.

André Abramé, Djamal Habet, Donia Toumi

Ann. Math. Artif. Intell., 2017

2016

Learning Nobetter Clauses in Max-SAT Branch and Bound Solvers.

André Abramé, Djamal Habet

Proceedings of the 28th IEEE International Conference on Tools with Artificial Intelligence, 2016

2015

On the Resiliency of Unit Propagation to Max-Resolution.

André Abramé, Djamal Habet

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Local Search Algorithm for the Partial Minimum Satisfiability Problem.

André Abramé, Djamal Habet

Proceedings of the 27th IEEE International Conference on Tools with Artificial Intelligence, 2015

2014

Ahmaxsat: Description and Evaluation of a Branch and Bound Max-SAT Solver.

André Abramé, Djamal Habet

J. Satisf. Boolean Model. Comput., 2014

A Two-Levels Local Search Algorithm for Random SAT Instances with Long Clauses.

André Abramé, Djamal Habet, Donia Toumi

Proceedings of the STAIRS 2014, 2014

On the Extension of Learning for Max-SAT.

André Abramé, Djamal Habet

Proceedings of the STAIRS 2014, 2014

Maintaining and Handling All Unit Propagation Reasons in Exact Max-SAT Solvers.

André Abramé, Djamal Habet

Proceedings of the Seventh Annual Symposium on Combinatorial Search, 2014

Local Max-Resolution in Branch and Bound Solvers for Max-SAT.

André Abramé, Djamal Habet

Proceedings of the 26th IEEE International Conference on Tools with Artificial Intelligence, 2014

Efficient Application of Max-SAT Resolution on Inconsistent Subsets.

André Abramé, Djamal Habet

Proceedings of the Principles and Practice of Constraint Programming, 2014

2013

Empirical Study of the Behavior of Conflict Analysis in CDCL Solvers.

Djamal Habet, Donia Toumi

Proceedings of the Principles and Practice of Constraint Programming, 2013

2012

Local Search Based on Conflict Analysis for the Satisfiability Problem.

Djamal Habet, Donia Toumi

Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012

Inference Rules in Local Search for Max-SAT.

André Abramé, Djamal Habet

Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012

2010

Bounding the optimum for the problem of scheduling the photographs of an Agile Earth Observing Satellite.

Djamal Habet, Michel Vasquez, Yannick Vimont

Comput. Optim. Appl., 2010

Toward a Generalization and a Reformulation of Goods in SAT - Preliminary Report.

Djamal Habet, Philippe Jégou

Proceedings of the Abstraction, 2010

2009

Tabu Search to Solve Real-Life Combinatorial Optimization Problems: A Case of Study.

Djamal Habet

Proceedings of the Foundations of Computational Intelligence, 2009

A Tree Decomposition Based Approach to Solve Structured SAT Instances.

Djamal Habet, Lionel Paris, Cyril Terrioux

Proceedings of the ICTAI 2009, 2009

2008

Enhancing the Robustness/Efficiency of Local Search Algorithms for SAT.

Djamal Habet

Proceedings of the 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2008), 2008

2007

Improving Local Search for Satisfiability Problem by Integrating Structural Properties.

Djamal Habet, Michel Vasquez

Proceedings of the 2007 IEEE International Conference on Research, 2007

Consistent Neighborhood for the Satisfiability Problem.

Djamal Habet, Lionel Paris, Belaid Benhamou

Proceedings of the 19th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2007), 2007

2004

Algorithmes complet et incomplet pour la coloration des graphes de reines.

Michel Vasquez, Djamal Habet

Proceedings of the Programmation en logique avec contraintes, 2004

Solving the Selecting and Scheduling Satellite Photographs Problem with a Consistent Neighborhood Heuristic.

Djamal Habet, Michel Vasquez

Proceedings of the 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2004), 2004

Complete and Incomplete Algorithms for the Queen Graph Coloring Problem.

Michel Vasquez, Djamal Habet

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

2003

Consistency checking within local search applied to the frequency assignment with polarization problem.

Michel Vasquez, Audrey Dupont, Djamal Habet

RAIRO Oper. Res., 2003

2002

A Hybrid Approach for SAT.

Djamal Habet, Chu Min Li, Laure Devendeville, Michel Vasquez

Proceedings of the Principles and Practice of Constraint Programming, 2002