Publications

International journals

2022 Data Ikram Nekkache, Saïd Jabbour, Nadjet Kamel, Lakhdar Saïs, Detecting and exploiting symmetries in sequential pattern mining in International Journal of Data Mining, Modelling and Management,vol. 14, n° 4, 2022.

2022 Data Said Jabbour, Yue Ma, Badran Raddaoui, A framework for reasoning about uncertainty in ontologies in IEEE Intelligent Systems,vol. 37, n° 6, pp. 27-37, 2022.

2021 Data 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 Constraints Said Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Saïs, SAT-based models for overlapping community detection in networks in Computing,2020.

2018 Data Abdelhamid Boudane, Saïd Jabbour, Lakhdar Sais, Yakoub Salhi, SAT-Based Data Mining in International Journal on Artificial Intelligence Tools,vol. 27, n° 01, pp. 1840002, 2018.

2018 Constraints Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs, Yakoub Salhi, Revisiting the Learned Clauses Database Reduction Strategies in International Journal on Artificial Intelligence Tools,vol. 27, n° 08, pp. 1850033, 2018.

2017 Said Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Saïs, 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 Said Jabbour, Learning from Successes in International Journal on Artificial Intelligence Tools (IJAIT),vol. 19, n° 4, pp. 373-391, 2010.

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.

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

2024 Saïd Jabbour, Yue Ma, Badran Raddaoui, Towards a principle-based framework for repair selection in inconsistent knowledge bases in International Conference on Autonomous Agents and Multiagent Systems,2024.

2023 Data Motaz Hassine, Saïd Jabbour, Mourad Kmimech, Badran Raddaoui, Mohamed Graiet, A Non-overlapping Community Detection Approach Based on α-Structural Similarity in International Conference on Big Data Analytics and Knowledge Discovery,2023.

2023 Data Badran Raddaoui, Christian Straßer, Said Jabbour, A Comparative Study of Ranking Formulas Based on Consistency in Thirty-Second International Joint Conference on Artificial Intelligence {IJCAI-23},International Joint Conferences on Artificial Intelligence Organization, pp. 3330-3337, 2023.

2023 AI at the service of... David Ing, Fabien Delorme, Said Jabbour, Nelly Robin, Lakhdar Sais, Classification with Explanation for Human Trafficking Networks in 2023 IEEE 10th International Conference on Data Science and Advanced Analytics (DSAA),IEEE, pp. 1-10, 2023.

2023 Data Said Jabbour, Badran Raddaoui, Lakhdar Sais, A Symbolic Approach to Computing Disjunctive Association Rules from Data in Thirty-Second International Joint Conference on Artificial Intelligence {IJCAI-23},International Joint Conferences on Artificial Intelligence Organization, pp. 2133-2141, 2023.

2023 Knowledge Saïd Jabbour, Yue Ma, Badran Raddaoui, Towards novel inference relations based on logical argumentation in 7th Workshop on Advances in Argumentation in Artificial Intelligence (AI^3’23),2023.

2023 Data Jerry Lonlac, Imen Dlala, Said Jabbour, Engelbert Nguifo, Badran Raddaoui, Lakhdar Sais, Extracting frequent gradual patterns based on SAT in 12th International Conference on Data Science, Technology and Applications (DATA ),SCITEPRESS - Science and Technology Publications, vol. 1, pp. 136-143, 2023.

2023 Data Amel Hidouri, Badran Raddaoui, Said Jabbour, Targeting Minimal Rare Itemsets from Transaction Databases in Thirty-Second International Joint Conference on Artificial Intelligence {IJCAI-23},International Joint Conferences on Artificial Intelligence Organization, pp. 2114-2121, 2023.

2022 Data 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 Data 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 Data Julien Martin-Prin, Imen Ouled Dlala, Nicolas Travers, Said Jabbour, A Distributed SAT-Based Framework for Closed Frequent Itemset Mining in Advanced Data Mining and Applications,Springer Nature Switzerland, vol. 13726, pp. 419-433, 2022.

2022 Data 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 Data Said Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Saïs, A Declarative Framework for Maximal k-plex Enumeration Problems in 21st International Conference on Autonomous Agents and Multiagent Systems, AAMAS,2022.

2021 Data 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 Data 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 Data 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 Data 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 Constraints Ikram Nekkache, Said Jabbour, Lakhdar Sais, Nadjet Kamel, Towards a Compact SAT-Based Encoding of Itemset Mining Tasks in Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 18th International Conference (CPAIOR 2021),Springer International Publishing, vol. 12735, pp. 163-178, 2021.

2020 Data 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 (DaWaK),Springer, Cham, vol. 12393, pp. 91–106, 2020.

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

2019 Data 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 Data Said Jabbour, Jerry Lonlac, Lakhdar Saïs, Mining Gradual Itemsets Using Sequential Pattern Mining in 2019 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE),IEEE, pp. 1-6, 2019.

2018 Constraints Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Saïs, 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 Constraints Abdelhamid Boudane, Saïd Jabbour, Badran Raddaoui, Lakhdar Saïs, 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 Constraints Said Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Saïs, 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 Data Said Jabbour, Fatima Ezzahra, Imen Dlala, Badran Raddaoui, Lakhdar Saïs, 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 Constraints Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Saïs, Pushing the envelope in overlapping communities detection in IDA 2018: 17th international symposium on Intelligent Data Analysis,Springer, pp. 151 - 163, 2018.

2018 Data Imen Ouled Dlala, Saïd Jabbour, Badran Raddaoui, Lakhdar Saïs, 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.

2017 Said Jabbour, Souhila Kaci, Lakhdar Saïs, 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 Saïs, 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 Saïs, 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 Amel Bouzeghoub, Said Jabbour, Yue Ma, Badran Raddaoui, Handling conflicts in uncertain ontologies using deductive argumentation in WI 2017 : International Conference on Web Intelligence,ACM, pp. 65-72, 2017.

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

2016 Said Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Saïs, 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 Said Jabbour, Badran Raddaoui, Lakhdar Saïs, Knowledge Base Compilation for Inconsistency Measures in Proc. International Conference on Agents and Artificial Intelligence (ICAART),2016.

2015 Said Jabbour, Badran Raddaoui, Lakhdar Sais, Conflict-Based Ranking of Propostional Knowledge Bases in Proc. 24th French Conference on Fuzzy Logic and its Applications (LFA 2015),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.

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, Badran Raddaoui, Lakhdar Saïs, 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, On QoS Web Service Composition Using Satisfiability in The International Conference on Information and Communication technology and Accessibility (ICTA),2015.

2015 Said Jabbour, Badran Raddaoui, Lakhdar Saïs, Inconsistency-based Ranking of Knowledge Bases in Proc. International Conference on Agents and Artificial Intelligence (ICAART),2015.

2014 Said Jabbour, Yue Ma, Badran Raddaoui, Prime Implicates Based Inconsistency Characterization in European Conference on Artificial Intelligence (ECAI'14),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.

2014 Said Jabbour, Badran Raddaoui, Lakhdar Saïs, A Logical Characterization of Inconsistency Measures in Proc. National Conference on Fuzzy Logic and its Applications (LFA 2014),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 Said Jabbour, Yue Ma, Badran Raddaoui, 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, Badran Raddaoui, Lakhdar Saïs, On the Characterization of Inconsistency Measures: A Prime Implicates Based Framework in International Conference on Tools with Artificial Intelligence(ICTAI'14),2014.

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

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

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 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 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, 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, 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, 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, Lakhdar Saïs, 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 Saïs, 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, Inconsistency Measure for Distributive Inconsistency Handling in Proc. Congrès Francophone de Reconnaissance des Formes et d’Intelligence Artificielle (RFIA),2014.

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

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

2013 Said Jabbour, Badran Raddaoui, Mesure d'incohérences en logique classique in Proc. Journées de l'Intelligence Artificielle Fondamentale (JIAF),2013.

2012 Said Jabbour, Jerry Lonlac, Lakhdar Saïs, Résolution Etendue par Substitution Dynamique des Fonctions Booléennes in JFPC,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 JFPC 2012,2012.

2012 Said Jabbour, Jerry Lonlac, Lakhdar Saïs, Intensification de la Recherche dans les Solveurs SAT Modernes 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 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.

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.

2007 Gilles Audemard, Said Jabbour, Lakhdar Saïs, 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 Saïs, 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 Saïs, 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 Saïs, 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 Gilles Audemard, Benoît Hoessen, Saïd Jabbour, Jean-Marie Lagniez, Cédric Piette, PeneLoPe in SAT Competition 2013 2013.

2013 Said Jabbour, Lakhdar Saïs, Yakoub Salhi, A Mining-Based Compression Approach for Constraint Satisfaction Problems 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.