Publications

International journal papers

International conference papers with program committee and proceedings

International workshop papers with program commitee without proceedings

  • Daniel le Berre, Emmanuel Lonca, «Reusing or adapting SAT solvers for boolean optimization» in Pragmatics of SAT (PoS'13)

National journal papers

National conference paper(s)

PhD thesis

  • Optimisation booléenne multiobjectif : complexité sous contraintes compilées et résolution via SAT (download PhD thesis / slides)

Master thesis

  • Utilisation de méthodes d'agrégation multi critères appliquées à la gestion de dépendances (download master thesis / slides)

Design downloaded from free website templates.