selected publications

• academic article

  • SAT-based models for overlapping community detection in networks.  Computing.  102:1275-1299. 2020

• chapter

  • Cohesive Subgraph Models for Overlapping Community Search over Networks.  Frontiers in artificial intelligence and applications. 2020

• conference paper

  • A Declarative Framework for Maximal k-plex Enumeration Problems.  . 2022
  • Représentations compactes des graphes et contraintes pseudo booléennes.  HAL (Le Centre pour la Communication Scientifique Directe). 2019