Awards and Distinctions

  • First place in 3 out of 9 categories at the Max-SAT Evaluation 2015
    solver ahmaxsat
  • First place in 3 out of 9 categories at the Max-SAT Evaluation 2014
    solver ahmaxsat
  • Bronze medal at the SAT Competition 2013 (Random SAT category)
    solver ncca+
  • Other Research Activities

  • Reviewing for the Journal on Satisfiability, Boolean Modeling and Computation (JSAT), 2015
  • Member of the organisation commitee of the Neuvièmes Journées Francophones de Programmation par Contraintes (JFPC 2013)