Publications

Articles de conférences internationales

2021 Amel Hidouri, Saïd Jabbour, Jerry Lonlac, Badran Raddaoui, A constraint-based approach for enumerating gradual itemsets in ICTAI 2021: 33rd IEEE International Conference on Tools with Artificial Intelligence,IEEE, pp. 582-589, 2021.

2021 Amel Hidouri, Saïd Jabbour, Imen Ouled Dlala, Badran Raddaoui, On minimal and maximal high utility itemsets mining using propositional satisfiability in BIGDATA 2021: IEEE International Conference on Big Data,IEEE, pp. 622-628, 2021.

2019 Saïd Jabbour, yue Ma, Badran Raddaoui, Handling disagreement in ontologies-based reasoning via argumentation in WISE 2019: 20th International Conference on Web Information Systems Engineering,Springer, vol. Lecture Notes in Computer Science, vol 11881, pp. 389 - 406, 2019.

2018 Abdelhamid Boudane, Saïd Jabbour, Badran Raddaoui, Lakhdar Sais, Efficient SAT-based encodings of conditional cardinality constraints in LPAR-22 2018: 22nd International Conference on Logic for Programming Artificial Intelligence and Reasoning,EPiC Series in Computing, vol. 57, pp. 181 - 195, 2018.

2018 Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais, Triangle-driven community detection in large graphs using propositional satisfiability in AINA 2018: 32nd International Conference on Advanced Information Networking and Applications,IEEE Computer Society, pp. 437 - 444, 2018.

2018 Saïd Jabbour, Fatima Ezzahra Mana, Imen Ouled Dlala, Badran Raddaoui, Lakhdar Sais, On maximal frequent itemsets mining with constraints in CP 2018 : 24th International Conference on Principles and Practice of Constraint Programming,Springer, pp. 554 - 569, 2018.

2018 Imen Ouled Dlala, Saïd Jabbour, Badran Raddaoui, Lakhdar Sais, A parallel SAT-based framework for closed frequent itemsets mining in CP 2018: 24th International Conference on Principles and Practice of Constraint Programming,Springer, pp. 570 - 587, 2018.

2018 Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais, Detecting highly overlapping community structure by model-based maximal clique expansion in BigData 2018: IEEE international conference on Big Data,IEEE Computer Society, pp. 1031 - 1036, 2018.

2018 Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais, Pushing the envelope in overlapping communities detection in IDA 2018: 17th international symposium on Intelligent Data Analysis,Springer, pp. 151 - 163, 2018.

2017 Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais, A SAT-based framework for overlapping community detection in networks in PAKDD 2017 : Pacific-Asia Conference on Knowledge Discovery and Data Mining,Springer, pp. 786 - 798, 2017.

2017 Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais, Finding overlapping communities in networks using propositional satisfiability in EDA 2017 : Journées francophones sur les Entrepôts de Données et l'Analyse en Ligne, Business Intelligence & Big Data,Editions RNTI, vol. RNTI-B-13, pp. 67 - 80, 2017.

2014 Gilles Audemard, Benoît Hoessen, Saïd Jabbour, Cédric Piette, An Effective Distributed D&C Approach for the Satisfiability Problem in 22nd International Conference on Parallel, Distributed and Network-Based Computing (PDP'14),pp. 183-187, 2014.

2014 Gilles Audemard, Benoît Hoessen, Saïd Jabbour, Cédric Piette, Dolius: A Distributed Parallel SAT Solving Framework in Pragmatics of SAT 2014 (POS'14),2014.

Rapports techniques

2013 Gilles Audemard, Benoît Hoessen, Saïd Jabbour, Jean-Marie Lagniez, Cédric Piette, PeneLoPe in SAT Competition 2013 2013.