Inference Rules in Local Search for Max-SAT. - André Abramé; Djamal Habet (ICTAI, 2012)

Efficient Application of Max-SAT Resolution on Inconsistent Subsets. - André Abramé; Djamal Habet (CP, 2014)

Local Max-Resolution in Branch and Bound Solvers for Max-SAT. - André Abramé; Djamal Habet (ICTAI, 2014)

Maintaining and Handling All Unit Propagation Reasons in Exact Max-SAT Solvers. - André Abramé; Djamal Habet (SOCS, 2014)

On the Extension of Learning for Max-SAT. - André Abramé; Djamal Habet (STAIRS, 2014)

A Two-Levels Local Search Algorithm for Random SAT Instances with Long Clauses. - André Abramé; Djamal Habet; Donia Toumi (STAIRS, 2014)

Ahmaxsat: Description and Evaluation of a Branch and Bound Max-SAT Solver. - André Abramé; Djamal Habet (J. Satisf. Boolean Model. Comput., 2014)

Local Search Algorithm for the Partial Minimum Satisfiability Problem. - André Abramé; Djamal Habet (ICTAI, 2015)

On the Resiliency of Unit Propagation to Max-Resolution. - André Abramé; Djamal Habet (IJCAI, 2015)

Learning Nobetter Clauses in Max-SAT Branch and Bound Solvers. - André Abramé; Djamal Habet (ICTAI, 2016)

Improving configuration checking for satisfiable random k-SAT instances. - André Abramé; Djamal Habet; Donia Toumi (Ann. Math. Artif. Intell., 2017)

Understanding the power of Max-SAT resolution through UP-resilience. - Mohamed Sami Cherif; Djamal Habet; André Abramé (Artif. Intell., 2020)