Publications

International journals

2021 Amel Hidouri, Said Jabbour, Badran Raddaoui, Boutheina Ben Yaghlane, Mining closed high utility itemsets based on propositional satisfiability in Data and Knowledge Engineering,vol. 136, n° 101927:1-101927:15, 2021.

2020 Said Jabbour, Nizar Mhadhbi, Raddaoui Badran, Lakhdar Sais, SAT-based Models for Overlapping Community Detection in Networks in Computing,2020.

2017 Said Jabbour, Yue Ma, Raddaoui Badran, Lakhdar Sais, Quantifying Conflicts in Propositional Logic Through Prime Implicates in International Journal of Approximate Reasoning,vol. 89, pp. 27-40, 2017.

2012 Youssef Hamadi, Said Jabbour, Lakhdar Saïs, Learning from Conflicts in Propositional Satisfiability in 4OR: A Quarterly Journal of Operations Research,vol. 1, n° 10, pp. 15-32, 2012.

2011 Youssef Hamadi, Said Jabbour, Cédric Piette, Lakhdar Saïs, Deterministic Parallel DPLL in Journal on Satisfiability, Boolean Modeling and Computation,vol. 7, n° 4, pp. 127-132, 2011.

2010 Youssef Hamadi, Said Jabbour, Lakhdar Saïs, Learning for Dynamic Subsumption in International Journal on Artificial Intelligence Tools (IJAIT),vol. 19, n° 4, pp. 511-529, 2010.

2010 Said Jabbour, Learning from Successes in International Journal on Artificial Intelligence Tools (IJAIT),vol. 19, n° 4, pp. 373-391, 2010.

2009 Youssef Hamadi, Said Jabbour, Lakhdar Saïs, SAT: a parallel SAT solver in Journal on Satisfiability, Boolean Modeling and Computation (JSAT),vol. 6, pp. 245-262, 2009.

2008 Gilles Audemard, Said Jabbour, Lakhdar Saïs, SAT Graph-Based Representation: A New Perspective in Journal of Algorithms in Cognition, Informatics and Logic,vol. 63, pp. 17--33, 2008.

International conferences

2022 Amel Hidouri, Saïd Jabbour, Badran Raddaoui, Mouna Chebbah, Boutheina Ben Yaghlane, A parallel declarative framework for mining high utility itemsets in IPMU 2022: 19th international conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems,Springer, vol. 1602, pp. 624–637, 2022.

2022 Amel Hidouri, Saïd Jabbour, Badran Raddaoui, On the enumeration of frequent high utility itemsets: a symbolic AI approach in CP 2022: 28th international conference on Principles and Practice of Constraint Programming,Leibniz-Zentrum für Informatik, vol. 235, 2022.

2022 Saïd Jabbour, Mourad Kmimech, Badran Raddaoui, Discovering overlapping communities based on cohesive subgraph models over graph data in DaWaK 2022: 24th International Conference on Big Data Analytics and Knowledge Discovery,Springer, vol. 13428, pp. 189-201, 2022.

2022 Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Saïs, A declarative framework for maximal k-plex enumeration problems in AAMAS 2022: 21st international conference on Autonomous Agents and Multiagent Systems,ACM, pp. 660–668, 2022.

2021 Yacine Izza, Said Jabbour, Badran Raddaoui, Abdelhamid Boudane, On the Enumeration of Association Rules: A Decomposition-based Approach in Twenty-Ninth International Joint Conference on Artificial Intelligence (IJCAI 2020),pp. 1265-1271, 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.

2021 Amel Hidouri, Said Jabbour, Badran Raddaoui, Mouna Chebbah, Boutheina Ben Yaghlane, A declarative framework for mining Top-k high utility itemsets in DaWaK 2021: 23rd international conference on Big Data Analytics and Knowledge Discovery,Springer, pp. 250-256, 2021.

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.

2020 Amel Hidouri, Said Jabbour, Badran Raddaoui, Boutheina Ben Yaghlane, A SAT-Based Approach for Mining High Utility Itemsets from Transaction Databases in International Conference on Big Data Analytics and Knowledge Discovery,2020.

2019 Said Jabbour, Jerry Lonlac, Lakhdar Sais, Mining Gradual Itemsets Using Sequential Pattern Mining in 2019 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE),IEEE, pp. 1-6, 2019.

2019 Said Jabbour, Yue Ma, Badran Raddaoui, Towards a prudent argumentation framework for reasoning with imperfect ontologies in DL 2019: 32nd International Workshop on Description Logics,CEUR Workshop Proceedings, vol. 2373, pp. 48:1-3, 2019.

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 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.

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, 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 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 Said Jabbour, Fatima Ezzahra, Imen 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 International Publishing, vol. 11008, pp. 554-569, 2018.

2018 Said Jabbour, Nizar Mhadhbi, Badran Radaoui, Lakhdar Sais, Triangle-Driven Community Detection in Large Graphs Using Propositional Satisfiability in 2018 IEEE 32nd International Conference on Advanced Information Networking and Applications (AINA),IEEE, pp. 437-444, 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.

2017 Amel Bouzeghoub, Said Jabbour, Yue Ma, Raddaoui Badran, Handling conflicts in uncertain ontologies using deductive argumentation in WI 2017 : International Conference on Web Intelligence,ACM, pp. 65-72, 2017.

2017 Said Jabbour, Souhila Kaci, Lakhdar Sais, Yakoub Salhi, Itemset Mining with Penalties in ICTAI: International Conference on Tools with Artificial Intelligence,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.

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.

2016 Said Jabbour, Yue Ma, Raddaoui Badran, Lakhdar Sais, Yakoub Salhi, A MIS Partition Based Framework for Measuring Inconsistency in 15th International Conference on Principles of Knowledge Representation and Reasoning (KR'16),2016.

2016 Abderrahim Ait Wakrime, Said Jabbour, Amine Belabed, Web Service Composition As Minimal Unsatisfiability in International Conference on Electrical and Information Technologies,2016.

2015 Abderrahim Ait Wakrime, Said Jabbour, On QoS Web Service Composition Using Satisfiability in The International Conference on Information and Communication technology and Accessibility (ICTA),2015.

2015 Abderrahim Ait Wakrime, Salima Benbernou, Said Jabbour, Relaxation based SaaS for Repairing Failed Queries over the Cloud Computing in The International Conference on e-Business Engineering (ICEBE),2015.

2015 Said Jabbour, Yue Ma, Raddaoui Badran, Lakhdar Sais, Yakoub Salhi, On Structure-Based Inconsistency Measures and Their Computations via Closed Set Packing in Proceedings of the Autonomous Agents and Multiagent Systems (AAMAS'15),2015.

2015 Abderrahim Ait Wakrime, Said Jabbour, Minimum Unsatisfiability Based QoS Web Service Composition over the Cloud Computing in The International Conference on Intelligent Systems Design and Applications (ISDA),2015.

2014 Said Jabbour, Yue Ma, Raddaoui Badran, Prime Implicates Based Inconsistency Characterization in European Conference on Artificial Intelligence (ECAI'14),2014.

2014 Said Jabbour, Yue Ma, Raddaoui Badran, Inconsistency Measurement Thanks to MUS Decomposition in 2014 international conference on Autonomous agents and multi-agent systems (AAMAS'14),2014.

2014 Said Jabbour, Yue Ma, Raddaoui Badran, Lakhdar Sais, On the Characterization of Inconsistency Measures: A Prime Implicates Based Framework in International Conference on Tools with Artificial Intelligence(ICTAI'14),2014.

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.

2013 Said Jabbour, Lakhdar Saïs, Yakoub Salhi, Top-k Frequent Closed Itemset Mining Using Top-k SAT Problem in European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML/PKDD'13),Springer, vol. 146, pp. 131-140, 2013.

2013 Said Jabbour, Badran Raddaoui, Measuring Inconsistency Through Minimal Proofs in 12th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'13),Springer, vol. 7958, pp. 290-301, 2013.

2013 Yakoub Salhi, Said Jabbour, Lakhdar Saïs, Graded Modal Logic {GS5} and Itemset Support Satisfiability in Information Search, Integration and Personalization (ISIP'13),Springer, pp. 131-140, 2013.

2013 Said Jabbour, Jerry Lonlac, Lakhdar Saïs, Adding New Bi-Asserting Clauses For Faster Search in Modern SAT Solvers in 10th Symposium on Abstraction, Reformulation, and Approximation (SARA'13),AAAI Press, pp. 66-72, 2013.

2012 Gilles Audemard, Benoît Hoessen, Said Jabbour, Jean-Marie Lagniez, Cédric Piette, PeneLoPe, a Parallel Clause-Freezer Solver in SAT Challenge 2012: Solver and Benchmarks Descriptions,pp. 43-44, 2012.

2012 Said Jabbour, Jerry Lonlac, Lakhdar Saïs, Intensification Search in Modern SAT Solvers in 15th International Conference on Theory and Applications of Satisfiability Testing (SAT'12),Springer, vol. 7962, pp. 491-492, 2012.

2012 Said Jabbour, Jerry Lonlac, Lakhdar Saïs, Extending Resolution by Dynamic Substitution of Boolean Functions in 24th International Conference on Tools with Artificial Intelligence (ICTAI'12),pp. 1029-1034, 2012.

2012 Said Jabbour, Lakhdar Saïs, Yakoub Salhi, Karim Tabia, Symmetries in Itemset Mining in 20th European Conference on Artificial Intelligence (ECAI '12),pp. 432-437, 2012.

2012 Nadjib Lazaar, Said Jabbour, Youssef Hamadi, Michèle Sebag, Cooperation control in Parallel SAT Solving: a Multi-armed Bandit Approach in NIPS 2012 - Workshop on Bayesian Optimization & Decision Making,2012.

2012 Gilles Audemard, Benoît Hoessen, Said Jabbour, Jean-Marie Lagniez, Cédric Piette, Revisiting Clause Exchange in Parallel SAT Solving in 15th International Conference on Theory and Applications of Satisfiability Testing (SAT'12),Springer, vol. 7962, pp. 200-213, 2012.

2012 Emmanuel Coquery, Said Jabbour, Lakhdar Saïs, Yakoub Salhi, A SAT-Based Approach for Discovering Frequent, Closed and Maximal Patterns in a Sequence in 20th European Conference on Artificial Intelligence (ECAI'12),pp. 258-263, 2012.

2011 Youssef Hamadi, Said Jabbour, Cédric Piette, Lakhdar Saïs, Deterministic Parallel DPLL: System Description in Pragmatics of SAT (POS'11),pp. 127-132, 2011.

2011 Emmanuel Coquery, Said Jabbour, Lakhdar Saïs, A Constraint Programming Approach for Enumerating Motifs in a Sequence in International Workshop on Declarative Pattern Mining (DPM'11),pp. 1091-1097, 2011.

2010 Long Guo, Youssef Hamadi, Said Jabbour, Lakhdar Saïs, Diversification and Intensification in Parallel {SAT} Solving in 16th International Conference on Principles and Practice of Constraint Programming (CP'10),pp. 252-265, 2010.

2009 Said Jabbour, Learning for Dynamic Assignments Reordering in 21st International Conference on Tools with Artificial Intelligence (ICTAI'09),IEEE Computer Society, pp. 336-343, 2009.

2009 Youssef Hamadi, Said Jabbour, Lakhdar Saïs, Réordonnancement dynamique basé sur l'apprentissage in Cinquièmes Journées Francophones de Programmation par Contraintes, Orléans,pp. 295-305, 2009.

2009 Youssef Hamadi, Said Jabbour, Lakhdar Saïs, Subsumption dirigée par l'analyse de conflits in Cinquièmes Journées Francophones de Programmation par Contraintes,pp. 105-115, 2009.

2009 Youssef Hamadi, Said Jabbour, Lakhdar Saïs, Learning for Dynamic Subsumption in 21st International Conference on Tools with Artificial Intelligence (ICTAI'09),pp. 328-335, 2009.

2009 Youssef Hamadi, Said Jabbour, Lakhdar Saïs, Control-Based Clause Sharing in Parallel {SAT} Solving in 21st International Joint Conference on Artificial Intelligence (IJCAI'09),pp. 499-504, 2009.

2008 Gilles Audemard, Lucas Bordeaux, Youssef Hamadi, Said Jabbour, Lakhdar Saïs, A generalized Framework For Conflict Analysis in Eleventh International Conference on Theory and Applications of Satisfiability Testing(SAT'08),pp. 21--27, 2008.

2007 Gilles Audemard, Said Jabbour, Lahkdar Sais, Symmetry Breaking in Quantified Boolean Formulae in International Joint Conference on Artificial Intelligence(IJCAI'07),pp. 2262--2267, 2007.

National journals

2012 Said Jabbour, Lakhdar Saïs, Symétries et QBF in Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle,vol. 26, n° 1-2, pp. 813-835, 2012.

National conferences

2019 Said Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais, Représentations compactes des graphes et contraintes pseudo booléennes in EGC 2019: 19ème conférence francophone sur l'Extraction et la Gestion des Connaissances,Hermann, vol. E-35, pp. 407-412, 2019.

2014 Said Jabbour, Yue Ma, Badran Raddaoui, MUS-Based Partitioning for Inconsistency Measures in Reconnaissance de Formes et Intelligence Artificielle (RFIA) 2014,2014.

2013 Gilles Audemard, Benoît Hoessen, Said Jabbour, Cédric Piette, Un nouveau cadre diviser pour régner pour SAT distribué in 9ièmes Journées Francophones de Programmation par Contraintes (JFPC'13),pp. 51-58, 2013.

2013 Said Jabbour, Badran Raddaoui, Mesure des incohérences en logique propositionnelle in 7ièmes Journées de l'Intelligence Artificielle Fondamentale (IAF'13),2013.

2013 Long Guo, Said Jabbour, Lakhdar Saïs, Stratégies d'élimination des clauses apprises dans les solveurs SAT modernes in 9ièmes Journées Francophones de Programmation par Contraintes (JFPC'13),pp. 147-156, 2013.

2012 Gilles Audemard, Benoît Hoessen, Said Jabbour, Jean-Marie Lagniez, Cédric Piette, Résolution parallèle de SAT: mieux collaborer pour aller plus loin in JFPC 2012,2012.

2012 Gilles Audemard, Benoît Hoessen, Said Jabbour, Jean-Marie Lagniez, Cédric Piette, Résolution parallèle de SAT : mieux collaborer pour aller plus loin in 8ièmes Journées Francophones de Programmation par Contraintes (JFPC'12),pp. 35-44, 2012.

2012 Said Jabbour, Jerry Lonlac, Lakhdar Sais, Résolution Etendue par Substitution Dynamique des Fonctions Booléennes in JFPC,2012.

2012 Said Jabbour, Jerry Lonlac, Lakhdar Saïs, Intensification Search in Modern SAT Solvers in 8ièmes Journées Francophones de Programmation par Contraintes (JFPC'12),pp. 156-159, 2012.

2012 Said Jabbour, Jerry Lonlac, Lakhdar Sais, Intensification de la Recherche dans les Solveurs SAT Modernes in JFPC,2012.

2011 Youssef Hamadi, Said Jabbour, Cédric Piette, Lakhdar Saïs, Concilier Parallélisme et Déterminisme dans la Résolution de SAT in 7ièmes Journées Francophones de la Programmation par Contraintes (JFPC'11),pp. 162-172, 2011.

2008 Gilles Audemard, Lucas Bordeaux, Youssef Hamadi, Said Jabbour, Lakhdar Saïs, Un cadre général pour l'analyse de conflits in JFPC 2008- Quatrièmes Journées Francophones de Programmation par Contraintes,pp. 267-276, 2008.

2008 Gilles Audemard, Lucas Bordeaux, Youssef Hamadi, Said Jabbour, Lakhdar Saïs, Un cadre général pour l'analyse des conflits in 4ièmes Journées Francophones de Programmation par Contraintes (JFPC'08),pp. 267-376, 2008.

2007 Gilles Audemard, Said Jabbour, Lahkdar Sais, Using SAT-Graph representation to derive hard instances in 14th RCRA workshop Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion(RCRA07),2007.

Book chapters

2017 Abdelhamid Boudane, Said Jabbour, Lakhdar Sais, Yakoub Salhi, Enumerating Non-Redundant Association Rules Using Satisfiability in Advances in Knowledge Discovery and Data Mining. 21st Pacific-Asia Conference, PAKDD 2017, Jeju, South Korea, May 23-26, 2017, Proceedings, Part I,vol. 10234, pp. 824-836, Springer International Publishing, 2017.

2017 Abdelhamid Boudane, Said Jabbour, Lakhdar Sais, Yakoub Salhi, Clustering Complex Data Represented as propositional formulas in Advances in Knowledge Discovery and Data Mining,vol. 10235, pp. 441-452, Springer International Publishing, 2017.

2015 Belaïd Benhamou, Said Jabbour, Lakhdar Sais, Yakoub Salhi, A general and declarative method for symmetry breaking in itemset mining in Knowledge Discovery, Knowledge Engineering and Knowledge Management: 6th International Joint Conference, IC3K 2014, Rome, Italy, October 21-24, 2014, Revised Selected Papers,vol. IC3K 2014 - Revised Selected Best Papers, pp. 143-160, 2015, 2015.

2012 Youssef Hamadi, Said Jabbour, Lakhdar Saïs, Control-based clause sharing in Parallel SAT in Autonomous Search,pp. 245-267, Springer, 2012.

Technical reports

2013 Said Jabbour, Lakhdar Saïs, Yakoub Salhi, A Mining-Based Compression Approach for Constraint Satisfaction Problems 2013.

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

2012 Nadjib Lazaar, Youssef Hamadi, Said Jabbour, Michèle Sebag, Cooperation control in Parallel SAT Solving: a Multi-armed Bandit Approach 2012.

2011 Youssef Hamadi, Said Jabbour, Cédric Piette, Lakhdar Saïs, Deterministic Parallel (DP)2LL 2011.