Summarizing big graphs by means of pseudo-boolean constraints. - Saïd Jabbour; Nizar Mhadhbi; Abdesattar Mhadhbi; Badran Raddaoui; Lakhdar Sais (IEEE BigData, 2016)

Finding Overlapping Communities in Networks Using Propositional Satisfiability. - Saïd Jabbour; Nizar Mhadhbi; Badran Raddaoui; Lakhdar Sais (EDA, 2017)

A SAT-Based Framework for Overlapping Community Detection in Networks. - Saïd Jabbour; Nizar Mhadhbi; Badran Raddaoui; Lakhdar Sais (PAKDD (2), 2017)

Triangle-Driven Community Detection in Large Graphs Using Propositional Satisfiability. - Saïd Jabbour; Nizar Mhadhbi; Badran Raddaoui; Lakhdar Sais (AINA, 2018)

Detecting Highly Overlapping Community Structure by Model-based Maximal Clique Expansion. - Saïd Jabbour; Nizar Mhadhbi; Badran Raddaoui; Lakhdar Sais (IEEE BigData, 2018)

Pushing the Envelope in Overlapping Communities Detection. - Saïd Jabbour; Nizar Mhadhbi; Badran Raddaoui; Lakhdar Sais (IDA, 2018)

Représentations compactes des graphes et contraintes pseudo booléennes. - Saïd Jabbour; Nizar Mhadhbi; Badran Raddaoui; Lakhdar Sais (EGC, 2019)

An Ontology-based Approach for Building and Querying ICH Video Datasets. - Sihem Belabbes; Yacine Izza; Nizar Mhadhbi; Tri-Thuc Vo; Karim Tabia; Salem Benferhat (ICAART (1), 2020)

Maximal Clique Based Influence Maximization in Networks. - Nizar Mhadhbi; Badran Raddaoui (IPMU (1), 2020)

Cohesive Subgraph Models for Overlapping Community Search over Networks. - Khaled Adeyl; Mourad Kmimech; Nizar Mhadhbi; Badran Raddaoui (SoMeT, 2020)

SAT-based models for overlapping community detection in networks. - Saïd Jabbour; Nizar Mhadhbi; Badran Raddaoui; Lakhdar Sais (Computing, 2020)

A Declarative Framework for Maximal k-plex Enumeration Problems. - Saïd Jabbour; Nizar Mhadhbi; Badran Raddaoui; Lakhdar Sais (AAMAS, 2022)