International journal papers

2015

  • André ABRAME and Djamal HABET, "Ahmaxsat: Description and Evaluation of a Branch and Bound Max-SAT Solver" in Journal on Satisfiability, Boolean Modeling and Computation (JSAT), 2015.   [pdf]   [bib]
  • André ABRAME, Djamal HABET and Donia TOUMI, "Improving Configuration Checking for Satisfiable Random k-SAT Instances" in Annals of Mathematics and Artificial Intelligence (AMAI), 2015 (accepted).   [pdf]   [bib]

International conference papers

2015

  • André ABRAME and Djamal HABET, "On the Resiliency of Unit Propagation to Max-Resolution", in Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI), 2015.   [pdf]   [bib]
  • André ABRAME and Djamal HABET, "Local Search Algorithm for the Partial Minimum Satisfiability Problem", in Proceedings of the 27th International Conference on Tools with Artificial Intelligence (ICTAI), 2015.   [pdf]   [bib]
  • André ABRAME, Djamal HABET and Donia TOUMI, "Tie-Breaking Heuristic in Configuration Checking for Random 3-SAT instances", in Proceedings of the 11th Metaheuristics International Conference (MIC), 2015.   [pdf]   [bib]

2014

  • André ABRAME and Djamal HABET, "Maintaining and Handling All Unit Propagation Reasons in Exact Max-SAT Solvers" in Proceedings of the 7th Annual Symposium on Combinatorial Search (SOCS), 2014.   [pdf]   [bib]
  • André ABRAME and Djamal HABET, "On the Extension of Learning for Max-SAT" in Proceedings of the 7th European Starting AI Researcher Symposium (STAIRS), 2014.   [pdf]   [bib]
  • André ABRAME and Djamal HABET, "Efficient Application of Max-SAT Resolution on Inconsistent Subsets", in Proceedings of the 20th International Conference on Principles and Practice of Constraint Programming (CP), 2014.   [pdf]   [bib]
  • "André ABRAME and Djamal HABET, "Local Max-Resolution in Branch and Bound Solvers for Max-SAT", in Proceedings of the 26th IEEE International Conference on Tools with Artificial Intelligence (ICTAI), 2014.   [pdf]   [bib]
  • André ABRAME, Djamal HABET and Donia TOUMI, "Improving Configuration Checking for Satisfiable Random k-SAT Instances", in International Symposium on Artificial Intelligence and Mathematics (ISAIM), 2014.   [pdf]   [bib]

2012

  • André ABRAME and Djamal HABET, "Inference Rules in Local Search for Max-SAT" in Proceedings of the 24th IEEE International Conference on Tools with Artificial Intelligence (ICTAI), 2012.   [pdf]   [bib]

National conference papers

2015

  • André ABRAME and Djamal HABET, "Application efficace de la max-résolution sur les sous-ensembles inconsistants" in Actes des Onzièmes Journées Francophones de la Programmation par Contraintes (JFPC), 2015.   [pdf]   [bib]
  • André ABRAME and Djamal HABET, "Sources de propagation multiples dans les solveurs Branch and Bound pour Max-SAT" in Actes des Onzièmes Journées Francophones de la Programmation par Contraintes (JFPC), 2015.   [pdf]   [bib]
  • André ABRAME and Djamal HABET, "On the Extension of Learning for Max-SAT" in Actes des Onzièmes Journées Francophones de la Programmation par Contraintes (JFPC), 2015.   [pdf]   [bib]

2014

  • André ABRAME and Djamal HABET, "Application Locale de la Max-Resolution dans les Solvers Branch \& Bound pour Max-SAT" in Actes des Dixièmes Journées Francophones de Programmation par Contraintes (JFPC), 2014.   [pdf]   [bib]

2013

  • André ABRAME and Djamal HABET, "Règles d'inférence et recherche locale pour Max-SAT et Max-SAT valué" in Actes des Neuvièmes Journées Francophones de Programmation par Contraintes (JFPC), 2013.   [pdf]   [bib]

PHD thesis

  • André ABRAME, "Max-résolution et apprentissage pour la résolution du problème de satisfiabilité maximum", PhD Thesis, LSIS, Aix-Marseille University, France, september 2015.   [pdf]   [bib]