Djamal Habet

Publication Activity (10 Years)

Years Active: 2002-2023
Publications (10 Years): 23

Top Topics

Maximum Satisfiability

Branch And Bound

Unit Propagation

Clause Learning

Top Venues

Publications

Shuolin Li, Jordi Coll, Djamal Habet, Chu Min Li, Felip Manyà
A Tableau Calculus for Signed Maximum Satisfiability. ISMVL (2023)
Shuolin Li, Chu-Min Li, Mao Luo, Jordi Coll, Djamal Habet, Felip Manyà
A New Variable Ordering for In-processing Bounded Variable Elimination in SAT Solvers. IJCAI (2023)
Matthieu Py, Mohamed Sami Cherif, Djamal Habet
Proofs and Certificates for Max-SAT (Extended Abstract). IJCAI (2023)
Yousra El Ghazi, Djamal Habet, Cyril Terrioux
A CP Approach for the Liner Shipping Network Design Problem. CP (2023)
Chu-Min Li, Zhenxing Xu, Jordi Coll, Felip Manyà, Djamal Habet, Kun He
Combining Clause Learning and Branch and Bound for MaxSAT (Extended Abstract). IJCAI (2022)
Chu-Min Li, Zhenxing Xu, Jordi Coll, Felip Manyà, Djamal Habet, Kun He
Boosting branch-and-bound MaxSAT solvers with clause learning. AI Commun. 35 (2) (2022)
Mohamed Sami Cherif, Djamal Habet, Matthieu Py
From Crossing-Free Resolution to Max-SAT Resolution. CP (2022)
Matthieu Py, Mohamed Sami Cherif, Djamal Habet
Proofs and Certificates for Max-SAT. J. Artif. Intell. Res. 75 (2022)
Shoulin Li, Jordi Coll, Djamal Habet, Chu-Min Li, Felip Manyà
A Tableau Calculus for MaxSAT Based on Resolution. CCIA (2022)
Chu-Min Li, Zhenxing Xu, Jordi Coll, Felip Manyà, Djamal Habet, Kun He
Combining Clause Learning and Branch and Bound for MaxSAT. CP (2021)
Djamal Habet, Cyril Terrioux
Conflict history based heuristic for constraint satisfaction problem solving. J. Heuristics 27 (6) (2021)
Matthieu Py, Mohamed Sami Cherif, Djamal Habet
Computing Max-SAT Refutations using SAT Oracles. ICTAI (2021)
Mohamed Sami Cherif, Djamal Habet, Cyril Terrioux
Combining VSIDS and CHB Using Restarts in SAT. CP (2021)
Matthieu Py, Mohamed Sami Cherif, Djamal Habet
Inferring Clauses and Formulas in Max-SAT. ICTAI (2021)
Matthieu Py, Mohamed Sami Cherif, Djamal Habet
A Proof Builder for Max-SAT. SAT (2021)
Mohamed Sami Cherif, Djamal Habet, Cyril Terrioux
On the Refinement of Conflict History Search Through Multi-Armed Bandit. ICTAI (2020)
Mohamed Sami Cherif, Djamal Habet, André Abramé
Understanding the power of Max-SAT resolution through UP-resilience. Artif. Intell. 289 (2020)
Matthieu Py, Mohamed Sami Cherif, Djamal Habet
Towards Bridging the Gap Between SAT and Max-SAT Refutations. ICTAI (2020)
Mohamed Sami Cherif, Djamal Habet
Towards the Characterization of Max-Resolution Transformations of UCSs by UP-Resilience. CP (2019)
Djamal Habet, Cyril Terrioux
Conflict history based search for constraint satisfaction problem. SAC (2019)
Djamal Habet, Cyril Terrioux
Conflict History Based Branching Heuristic for CSP Solving. CIMA@ICTAI (2018)
André Abramé, Djamal Habet, Donia Toumi
Improving configuration checking for satisfiable random k-SAT instances. Ann. Math. Artif. Intell. 79 (1-3) (2017)
André Abramé, Djamal Habet
Learning Nobetter Clauses in Max-SAT Branch and Bound Solvers. ICTAI (2016)
André Abramé, Djamal Habet
On the Resiliency of Unit Propagation to Max-Resolution. IJCAI (2015)
André Abramé, Djamal Habet
Local Search Algorithm for the Partial Minimum Satisfiability Problem. ICTAI (2015)
André Abramé, Djamal Habet
Maintaining and Handling All Unit Propagation Reasons in Exact Max-SAT Solvers. SOCS (2014)
André Abramé, Djamal Habet
Ahmaxsat: Description and Evaluation of a Branch and Bound Max-SAT Solver. J. Satisf. Boolean Model. Comput. 9 (1) (2014)
André Abramé, Djamal Habet
On the Extension of Learning for Max-SAT. STAIRS (2014)
André Abramé, Djamal Habet
Efficient Application of Max-SAT Resolution on Inconsistent Subsets. CP (2014)
André Abramé, Djamal Habet
Local Max-Resolution in Branch and Bound Solvers for Max-SAT. ICTAI (2014)
André Abramé, Djamal Habet, Donia Toumi
Improving Configuration Checking for Satisfiable Random k-SAT Instances. ISAIM (2014)
André Abramé, Djamal Habet, Donia Toumi
A Two-Levels Local Search Algorithm for Random SAT Instances with Long Clauses. STAIRS (2014)
Djamal Habet, Donia Toumi
Empirical Study of the Behavior of Conflict Analysis in CDCL Solvers. CP (2013)
Djamal Habet, Donia Toumi
Local Search Based on Conflict Analysis for the Satisfiability Problem. ICTAI (2012)
André Abramé, Djamal Habet
Inference Rules in Local Search for Max-SAT. ICTAI (2012)
Djamal Habet, Michel Vasquez, Yannick Vimont
Bounding the optimum for the problem of scheduling the photographs of an Agile Earth Observing Satellite. Comput. Optim. Appl. 47 (2) (2010)
Djamal Habet, Philippe Jégou
Toward a Generalization and a Reformulation of Goods in SAT - Preliminary Report. Abstraction, Reformulation, and Approximation (2010)
Djamal Habet, Lionel Paris, Cyril Terrioux
A Tree Decomposition Based Approach to Solve Structured SAT Instances. ICTAI (2009)
Djamal Habet
Enhancing the Robustness/Efficiency of Local Search Algorithms for SAT. ICTAI (1) (2008)
Djamal Habet, Michel Vasquez
Improving Local Search for Satisfiability Problem by Integrating Structural Properties. RIVF (2007)
Djamal Habet, Lionel Paris, Belaid Benhamou
Consistent Neighborhood for the Satisfiability Problem. ICTAI (2) (2007)
Djamal Habet, Michel Vasquez
Solving the Selecting and Scheduling Satellite Photographs Problem with a Consistent Neighborhood Heuristic. ICTAI (2004)
Michel Vasquez, Djamal Habet
Algorithmes complet et incomplet pour la coloration des graphes de reines. JFPLC (2004)
Michel Vasquez, Djamal Habet
Complete and Incomplete Algorithms for the Queen Graph Coloring Problem. ECAI (2004)
Michel Vasquez, Audrey Dupont, Djamal Habet
Consistency checking within local search applied to the frequency assignment with polarization problem. RAIRO Oper. Res. 37 (4) (2003)
Djamal Habet, Chu Min Li, Laure Devendeville, Michel Vasquez
A Hybrid Approach for SAT. CP (2002)