Saïd Jabbour - Professeur des universités
Coordonnées
- Poste 15 17 77
- jabbour@cril.univ-artois.fr
- http://www.cril.univ-artois.fr/~jabbour
- https://orcid.org/0000-0002-8389-8332
- idHalsaid-jabbour
-
- fac
UFR des Sciences Jean Perrin
Rue Jean Souvraz SP 18
62307 Lens Cedex
France
Diplômes en cours ou obtenus en étant au CRIL
- Thèse : De la Satisfiabilité Propositionnelle aux Formules Booléennes Quantifiées 2008-12-05
- Habilitation à diriger des recherches : Des Données aux Connaissances : Modèles et Algorithmes 2018-12-06
Axes de recherche
- Données (co-responsable)
- Contraintes
- Connaissances
-
Projets récents
- AFD ERA 2022-2025
- ANR PRC CROQUIS 2022-2026
- ANR PRC EXPIDA 2023-2027
- ANR PRC HYCI 2022-2026
- ANR PRC POSTCRYPTUM 2021-2025
- ANR PRCE FIDD 2025-2028
- Emergence INS2I CACEM 2021
- Horizon Europe STARWARS 2023-2026
- PHC TASSILI 2018-2020
Logiciels
Publications
Articles de revues internationales
2022 Données 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 Données 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 Données 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 Contraintes Said Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Saïs, SAT-based models for overlapping community detection in networks in Computing,2020.
2018 Contraintes 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.
2018 Données 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.
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 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.
Articles de conférences internationales
2024 Connaissances Saïd Jabbour, Yue Ma, Badran Raddaoui, Towards a principle-based framework for repair selection in inconsistent knowledge bases in The 23rd international conference on autonomous agents and multiagent systems (AAMAS '24),ACM, pp. 907-915, 2024.
2023 Motaz Hassine, Saïd Jabbour, Mourad Kmimech, Badran Raddaoui, Mohamed Graiet, A non-overlapping community detection approach based on α-structural similarity in The 25th International Conference on Big Data Analytics and Knowledge Discovery (DAWAK),Springer Nature Switzerland, vol. 14148, pp. 197-211, 2023.
2023 Données 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 Connaissances 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 Données 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 IA au service de... 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 Données 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.
2023 Données 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 Données 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.
2022 Données 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 Données 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.
2022 Données 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 Données 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 Données 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.
2021 Données 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 Données 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 Données 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 Données 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 Contraintes 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 Données 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 Données 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.
2019 Données 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 Données 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 Contraintes 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 Contraintes 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 Contraintes 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 Données 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.
2018 Données 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 Contraintes 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.
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 Said Jabbour, Souhila Kaci, Lakhdar Saïs, Yakoub Salhi, Itemset Mining with Penalties in ICTAI: International Conference on Tools with Artificial Intelligence,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.
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.
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 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, 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, 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 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.
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 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.
2014 Said Jabbour, Yue Ma, Badran Raddaoui, Prime Implicates Based Inconsistency Characterization in European Conference on Artificial Intelligence (ECAI'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 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.
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, 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.
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.
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, PeneLoPe, a Parallel Clause-Freezer Solver in SAT Challenge 2012: Solver and Benchmarks Descriptions,pp. 43-44, 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, 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 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 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.
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.
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.
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, 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.
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 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, Subsumption dirigée par l'analyse de conflits in Cinquièmes Journées Francophones de Programmation par Contraintes,pp. 105-115, 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.
Articles de revues nationales
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.
Articles de conférences nationales
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, MUS-Based Partitioning for Inconsistency Measures in Reconnaissance de Formes et Intelligence Artificielle (RFIA) 2014,2014.
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.
2013 Said Jabbour, Badran Raddaoui, Mesure d'incohérences en logique classique in Proc. Journées de l'Intelligence Artificielle Fondamentale (JIAF),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 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.
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 Saïs, Intensification de la Recherche dans les Solveurs SAT Modernes in JFPC,2012.
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 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.
Chapitres d'ouvrages
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.
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.
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.
Rapports techniques
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.
Anciens doctorants
- Amel Hidouri : Contributions aux Approches par Contraintes pour la Fouille de Données soutenue le : 2022-12-09
- Imen Ouled Dlala : Enumération des motifs intéressants dans les bases de données incertaines soutenue le : 2018-12-17
- Nizar Mhadhbi : Fouilles de graphes et application aux réseaux sociaux soutenue le : 2018-12-03
- Abdelhamid Boudane : Fouille de données par contraintes soutenue le : 2018-09-13
- Benoît Hoessen : Parallélisation de solveurs de contraintes soutenue le : 2014-12-10
- Jerry Lonlac Konlac : Résolution du problème de Satisfiabilité propositionnelle (SAT) et ses applications soutenue le : 2014-10-03
- Long Guo : Résolution séquentielle et parallèle du problème de la satisfiabilité propositionnelle soutenue le : 2013-07-08
-
Projets anciens
- ANR DAG 2009-2013
- Collaboration CRIL – RATP 2016-2017
- In Ludo Securitas 2013-2014
- Pajero 2011-2015
- QDoSSI - CNRS, Défi Mastodons 2016-2018
- SMARTROAD: Services intelligents pour la fluidification du trafic routier 2019