Lakhdar Saïs - Professor
Personal Data
- 03 21 79 17 77
- sais@cril.univ-artois.fr
- http://www.cril.univ-artois.fr/~sais
- https://orcid.org/0000-0003-2879-8627
- idHallakhdar-sais
-
- fac
UFR des Sciences Jean Perrin
Rue Jean Souvraz SP 18
62307 Lens Cedex
France
Degree prepared or obtained while being at CRIL
- Habilitation : From solving the SAT problem to solving problems around SAT 2000-12-01
Research Axes
- Data
- Constraints
-
Recent Projects
Current PhD student
- David Ing : Découverte de connaissances à partir de données migratoires
Software
Publications
International journals
2024 Jerry Lonlac, Imen Ouled Dlala, Saïd Jabbour, Engelbert Mephu Nguifo, Badran Raddaoui, Lakhdar Saïs, On the discovery of frequent gradual patterns: a symbolic AI-based framework in SN Computer Science,vol. 5, n° 7, pp. 944, 2024.
2024 Asma Douadi, Nadjet Kamel, Lakhdar Sais, Label propagation algorithm for community discovery based on centrality and common neighbours in Journal of Supercomputing,2024.
2023 Data Wafaa Rajaa Drioua, Nacéra Benamrane, Lakhdar Sais, Breast Cancer Histopathological Images Segmentation Using Deep Learning in Sensors,vol. 23, n° 17, pp. 7318, 2023.
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.
2021 Knowledge Sofiane Touati, Mohammed Said Radjef, Lakhdar Sais, A Bayesian Monte Carlo method for computing the Shapley value: Application to weighted voting and bin packing games in Computers and Operations Research,vol. 125, pp. 105094, 2021.
2020 Constraints Said Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Saïs, SAT-based models for overlapping community detection in networks in Computing,2020.
2019 Constraints Kahina Bouchama, Arnaud Lallouet, Mohammed Said Radjef, Lakhdar Saïs, Solving a Potential Clustering Game in International Journal on Artificial Intelligence Tools,vol. 28, n° 02, pp. 1950006, 2019.
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 Nelly Robin, Lakhdar Saïs, La fabrique des réseaux de traite au Sénégal : échelles migratoires et situations prostitutionnelles in Outre-terre. Revue européenne de géopolitique,vol. 53, n° 4, pp. 67-82, 2017.
2017 Balasim Al-Saedi, Olivier Fourdrinoy, Éric Grégoire, Bertrand Mazure, Lakhdar Saïs, About some UP-based polynomial fragments of SAT in Annals of Mathematics and Artificial Intelligence,vol. 79, n° 1, pp. 25-44, 2017.
2017 Mohamed Baghdadi, Nacéra Benamrane, Lakhdar Saïs, Fuzzy generalized fast marching method for 3D segmentation of brain structures in International Journal of Information Science & Technology,vol. 27, n° 3, pp. 281-306, 2017.
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 Lakhdar Saïs, Mohand-Said Hacid, François Hantry, On the complexity of computing minimal unsatisfiable LTL formulas in Electronic Colloquium on Computational Complexity,vol. 19, pp. 69, 2012.
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.
2009 Christophe Lecoutre, Lakhdar Saïs, Sébastien Tabary, Vincent Vidal, Reasoning from Last Conflict(s) in Constraint Programming in Artificial Intelligence Journal (AIJ),vol. 173, n° 18, pp. 1592-1614, 2009.
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.
2001 Laure Brisoux, Éric Grégoire, Lakhdar Saïs, Checking depth-limited consistency and inconsistency in knowledge-based systems in International Journal of Information Systems (IJIS),vol. 16, n° 3, pp. 333-360, 2001.
2000 Éric Grégoire, Lakhdar Saïs, Practical inconsistency management for critical-tasks decision-support systems in International Journal of General Systems,vol. 29, n° 1, pp. 123-140, 2000.
1998 Bertrand Mazure, Lakhdar Saïs, Éric Grégoire, Boosting complete techniques thanks to local search in Annals of Mathematics and Artificial Intelligence,vol. 22, pp. 309-322, 1998.
1997 Bertrand Mazure, Lakhdar Saïs, Éric Grégoire, An efficient technique to ensure the logical consistency of cooperative agents in International Journal of Cooperative Information Systems,vol. 6, n° 1, pp. 27-36, 1997.
International conferences
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 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 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.
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.
2022 Data Wafaa Rajaa Drioua, Nacéra Benamrane, Lakhdar Saïs, Breast Cancer Detection from Histopathology Images Based on YOLOv5 in 7th International Conference on Frontiers of Signal Processing (ICFSP),2022.
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.
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, Pushing the envelope in overlapping communities detection in IDA 2018: 17th international symposium on Intelligent Data Analysis,Springer, pp. 151 - 163, 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 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 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.
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 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.
2017 Yazid Boumarafi, Lakhdar Saïs, Yakoub Salhi, From SAT to Maximum Independent Set: A New Approach to Characterize Tractable Classes in 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR'17),pp. 286-299, 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 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 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.
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.
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.
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 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 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.
2014 Mohammad Al-Saedi, Éric Grégoire, Bertrand Mazure, Lakhdar Saïs, Extensions and Variants of Dalal's Quad Polynomial Fragments of SAT in 26th International Conference on Tools with Artificial Intelligence (ICTAI'14),pp. 446-452, 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 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.
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, 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 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 Mohamed Maiza, Lakhdar Saïs, Mohammed Said Radjef, New Lower Bounds for the Variable Sized Bin-Packing Problem with Conflicts in 26th European Conference on Operation Research (EURO-INFORMS'13),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 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, 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 Mohamed Maiza, Mohammed Said Radjef, Lakhdar Saïs, Continuous Lower Bound for the Variable Sized Bin-Packing Problem in 9th International Conference on Modeling, Optimization and SIMulation (MOSIM'12),2012.
2012 Maiza Mohamed, Radjef Mohammed Said, Lakhdar Saïs, Continuous Lower Bound for the Variable Sized Bin-Packing Problem in 9th International Conference on Modeling, Optimization & SIMulation,2012.
2012 Emmanuel Coquery, Jean-Marc Petit, Lakhdar Saïs, Using SAT and SQL for Pattern Miningin Relational Databases in 1st Workshop on COmbining COnstraint solving with MIning and LEarning (CoCoMile'12),pp. 41-46, 2012.
2012 Kahina Bouchama, Mohammed Said Radjef, Lakhdar Saïs, Calcul d'un Z-équilibre d'un jeu fini : Application à la résolution d'un problème CSP in 9ème Colloque internationale sur l'Optimisation et les Systèmes d'Information (COSI'2012),pp. 74-87, 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 Emmanuel Coquery, Jean-Marc Petit, Lakhdar Saïs, Using SAT and SQL for Pattern Mining in Relational Databases in 1st Workshop on COmbining COnstraint solving with MIning and LEarning ({CoCoMile}'12),pp. 41-46, 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 Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Saïs, On freezeing and reactivating learnt clauses in 14th International Conference on Theory and Applications of Satisfiability Testing (SAT'11),Springer, vol. 6695, pp. 188-200, 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.
2010 Lakhdar Saïs, Portfolio-based Parallel {SAT} solving in International Conference on High Performance Computing and Simulation (HPCS'10),IEEE, pp. 331, 2010.
2010 Mohamed Baghdadi, Nacéra Benamrane, Lakhdar Saïs, Segmentation of 3D Brain Structures Using the Bayesian Generalized Fast Marching Method in International conference on Brain Informatics (BI'10),Springer, pp. 156-167, 2010.
2010 Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Saïs, Boosting local search thanks to {CDCL} in 17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR'10),Springer, vol. 6397, pp. 474-488, 2010.
2009 Dominique d'Almeida, Lakhdar Saïs, Enhancing Neighbourhood Substitutability Thanks to Singleton Arc Consistency in 21st International Conference on Tools with Artificial Intelligence (ICTAI'09),pp. 91-98, 2009.
2009 Dominique d'Almeida, Lakhdar Saïs, Enhancing Neighbourhood Substitutability Thanks to Singleton Arc Consistency in 21st International Conference on Tools with Artificial Intelligence (ICTAI'09),IEEE Computer Society, pp. 91-98, 2009.
2009 Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Saïs, Analyse de conflits dans le cadre de la recherche locale in Cinquièmes Journées Francophones de Programmation par Contraintes,pp. 215-225, 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 Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Saïs, Learning in local search in 21st International Conference on Tools with Artificial Intelligence (ICTAI'09),IEEE Computer Society, pp. 417-424, 2009.
2009 Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Saïs, Integrating Conflict Driven Clause Learning to Local Search in 6th International Workshop on Local Search Techniques in Constraint Satisfaction (LSCS'09),2009.
2009 Dominique d'Almeida, Lakhdar Saïs, Recherche de la substituabilité par l'arc-cohérence de singleton in Cinquièmes Journées Francophones de Programmation par Contraintes,pp. 385-395, 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, Réordonnancement dynamique basé sur l'apprentissage in Cinquièmes Journées Francophones de Programmation par Contraintes, Orléans,pp. 295-305, 2009.
2009 Cédric Piette, Youssef Hamadi, Lakhdar Saïs, Efficient Combination of Decision Procedure for MUS Computation in 7th International Symposium on Frontiers of Combining Systems (FroCos'09),Springer, pp. 335-349, 2009.
2009 Éric Grégoire, Bertrand Mazure, Lakhdar Saïs, Local autarkies searching for the dynamic partition of CNF formulae in 21st International Conference on Tools with Artificial Intelligence (ICTAI'09),IEEE Computer Society, pp. 107-114, 2009.
2008 Assef Chmeiss, Vincent Krawczyk, Lakhdar Saïs, Redundancy in {CSPs} in 18th European Conference on Artificial Intelligence (ECAI'08),pp. 907-908, 2008.
2008 Assef Chmeiss, Vincent Krawczyk, Lakhdar Saïs, Redundancy in CSPs in 18th European Conference on Artificial Intelligence(ECAI'08),pp. 907-908, 2008.
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.
2008 Cedric Piette, Youssef Hamadi, Lakhdar Saïs, Vivifying propositional clausal formulae in 18th European Conference on Artificial Intelligence (ECAI'08),pp. 525-529, 2008.
2007 Lionel Paris, Richard Ostrowski, Lakhdar Saïs, Pierre Siegel, From Horn Strong Backdoor Sets to Ordered Strong Backdoor Sets in 7th Mexican International Conference on Artificial Intelligence(MICAI'08),pp. 105-117, 2007.
2007 Gilles Audemard, Lakhdar Saïs, Circuit Based Encoding of CNF Formula in Tenth International Conference on Theory and Applications of Satisfiability Testing(SAT'07),LNCS 4501, Springer Verlag, pp. 16--21, 2007.
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.
2007 Dominique d'Almeida, Jean-François Condotta, Christophe Lecoutre, Lakhdar Saïs, Relaxation of Qualitative Constraint Networks in 7th Symposium on Abstraction, Reformulation and Approximation (SARA'07),LNCS 4612, Springer, pp. 93-108, 2007.
2006 Assef Chmeiss, Lakhdar Saïs, About look-ahead algorithms in Constraint Satisfaction Problems in 2nd IEEE International Conference on Information Technologies: from Theory to Applications (ICTTA'06),vol. 2, pp. 3492 - 3497, 2006.
2006 Lionel Paris, Richard Ostrowski, Lakhdar Saïs, Pierre Siegel, Computing Horn Strong Backdoor Sets Thanks to Local Search in 8th International Conference on Tools with Artificial Intelligence (ICTAI'06),pp. 13--15, 2006.
2005 Sylvain Darras, Gilles Dequen, Laure Brisoux Devendeville, Bertrand Mazure, Richard Ostrowski, Lakhdar Saïs, Using Boolean Constraint Propagation for Sub-clause Deduction in 11th International Conference on Principles and Practice of Constraint Programming (CP'05),LNCS 3709, Springer Verlag, pp. 757-761, 2005.
2005 Eric Gregoire, Richard Ostrowski, Bertrand Mazure, Lakhdar Saïs, Automatic extraction of functional dependencies in Theory and Applications of Satisfiability Testing: 7th International Conference (SAT 2004),LNCS 3542, pp. 122-132, 2005.
2004 Assef Chmeiss, Lakhdar Saïs, Constraint Satisfaction Problems : Backtrack Search Revisited in Proceedings of the 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'04),pp. 252-257, 2004.
2004 Gilles Audemard, Bertrand Mazure, Lakhdar Saïs, Dealing with Symmetries in Quantified Boolean Formulas in Proc. of the Seventh International Conference on Theory and Applications of Satisfiability Testing,pp. 257-262, 2004.
2004 Gilles Audemard, Lakhdar Saïs, SAT Based BDD Solver for Quantified Boolean Formulas in 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'04),IEEE Computer Society, pp. 82 - 89, 2004.
2003 Richard Ostrowski, Bertrand Mazure, Lakhdar Saïs, Éric Grégoire, Eliminating redundancies in SAT search trees in Proc. of the 15th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'2003),pp. 100-104, 2003.
2003 Assef Chmeiss, Lakhdar Saïs, About Neighborhood Substitutability in CSPs in Proceedings of the Third International Workshop on Symmetry in Constraint Satisfaction problems (SymCon'2003),pp. 41-45, 2003.
2002 Éric Grégoire, Bertrand Mazure, Lakhdar Saïs, Using failed local search for SAT as an oracle for tackling harder A.I. problems more efficiently in Proc. of the Tenth International Conference on Artificial Intelligence : Methodology, Systems, Applications (AIMSA'2002),LNCS 2443, Springer Verlag, pp. 51-60, 2002.
2002 Richard Ostrowski, Bertrand Mazure, Lakhdar Saïs, LSAT solver in Fifth International Symposium on the Theory and Applications of Satisfiability Testing (SAT 2002),2002.
2002 Richard Ostrowski, Éric Grégoire, Bertrand Mazure, Lakhdar Saïs, Recovering and exploiting structural knowledge from CNF formulas in Proc. of the Eighth International Conference on Principles and Practice of Constraint Programming (CP'2002),LNCS 2470, Springer Verlag, pp. 185-199, 2002.
2001 Christian Bessiere, Assef Chmeiss, Lakhdar Saïs, Neighborhood-Based Variable Ordering Heuristics for the Constraint Satisfaction Problem in 7th International Conference on Principles and Practice of Constraint Programming (CP 2001),vol. 2239, pp. 565-569, 2001.
2000 Assef Chmeiss, Lakhdar Saïs, About the use of local consistency in solving CSPs in Proc. of the Twelfth IEEE Intl. Conf. on Tools with Artificial Intelligence - ICTAI'00,IEEE Computer Press, pp. 104-107, 2000.
2000 Éric Grégoire, Lakhdar Saïs, Modelling and checking complex discrete critical systems in Proceedings of the International Conference on Modelling and Simulation - MS'00,pp. 233-240, 2000.
1999 Laure Brisoux, Éric Grégoire, Lakhdar Saïs, Improving backtrack search for SAT by means of redundancy in Proceedings of the 11th International Symposium on Methodologies for Intelligent Systems - ISMIS'99,LNCS 1609, Springer Verlag, pp. 301-309, 1999.
1998 Laure Brisoux, Lakhdar Saïs, Éric Grégoire, Validation of knowledge-based systems by means of stochastic search in Proceedings of the DEXA Workshop on Verification, Validation and Integrity Issues in Expert and Database Systems,IEEE Computer Press, pp. 41-46, 1998.
1998 Bertrand Mazure, Lakhdar Saïs, Éric Grégoire, System Description: CRIL Platform for SAT in Proc. of the 15th Intl. Conf. on Automated Deduction (CADE-15),LNCS 1421, Springer Verlag, pp. 124-128, 1998.
1998 Éric Grégoire, Bertrand Mazure, Lakhdar Saïs, Logically-complete local search for propositional nonmonotonic knowledge bases in Proc. of the 7th Intl. Workshop on Nonmonotonic Reasoning (NMR-98),pp. 37-45, 1998.
1998 Brigitte Bessant, Éric Grégoire, Pierre Marquis, Lakhdar Saïs, Combining nonmonotonic reasoning and belief revision: a practical approach in Proc. 8th Intl. Conf. on Artificial Intelligence Methodology, Systems, Applications (AIMSA-98),LNCS 1480, Springer Verlag, pp. 115-128, 1998.
1998 Brigitte Bessant, Éric Grégoire, Pierre Marquis, Lakhdar Saïs, Syntax-based belief revision through local search in Proceedings of the International Workshop on Belief Revision,1998.
1997 Bertrand Mazure, Lakhdar Saïs, Éric Grégoire, Local search for computing normal circumstances models in Proceedings oh the International Conference on Computational Intelligence (ICCI'97),LNCS 1226, Springer Verlag, pp. 55-56, 1997.
1997 Bertrand Mazure, Lakhdar Saïs, Éric Grégoire, Tabu Search for SAT in Proc. of the 14th Nat. Conf. on Artificial Intelligence (AAAI-97),pp. 281-285, 1997.
1997 Bertrand Mazure, Lakhdar Saïs, Éric Grégoire, Checking Several Forms of Consistency in Nonmonotonic Knowledge-Bases in Proceedings International Joint Conference on Qualitative and Quantitative Practical Reasoning,LNAI 1244, Springer Verlag, pp. 122-130, 1997.
1997 Bertrand Mazure, Lakhdar Saïs, Éric Grégoire, A comparison of two approaches to inconsistency detecting in Proceedigns of the European Symposium on Intelligent Techniques (ESIT'97),1997.
1997 Yacine Boufkhad, Éric Grégoire, Pierre Marquis, Bertrand Mazure, Lakhdar Saïs, Tractable cover compilations in Proc. of the 15th Intl. Joint Conf. on Artificial Intelligence (IJCAI-97),pp. 122-127, 1997.
1996 Lakhdar Saïs, SAT : Experiments meet Theory in Proceedings of the ECAI-96 Workshop on Experimental Artificial Intelligence,1996.
1996 J. Crawford, Lakhdar Saïs, Symmetries in Proceedings of the First International Competition and Symposium on Satisfiability Testing,1996.
1996 Bertrand Mazure, Lakhdar Saïs, Éric Grégoire, A Powerful Heuristic to Locate Inconsistent Kernels in Knowledge-Based Systems in Proc. Int. Conf. on Inform. Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU-96),pp. 1265-1269, 1996.
1996 Bertrand Mazure, Lakhdar Saïs, Éric Grégoire, SUN : a Multistrategy Platform for SAT in Proc. First Int. Competition and Symposium on Satisfiability Testing,1996.
1996 Éric Grégoire, Lakhdar Saïs, Inductive Reasoning is Sometimes Deductive in Proceedings of the ECAI-96 Workshop on Abductive and Inductive Reasoning,pp. 36-39, 1996.
1996 Bertrand Mazure, Lakhdar Saïs, Éric Grégoire, Detecting Logical Inconsistencies in Proc. AI and Maths Symposium,pp. 116-121, 1996.
1995 Bertrand Mazure, Lakhdar Saïs, Éric Grégoire, TWSAT : a new local search algorithm for SAT : performance and analysis in Proc. CP-Workshop on Solving Really Hard Problems,pp. 127-130, 1995.
1994 Lakhdar Saïs, R. Génisson, Some Ideas on Random Generation of K-Sat Instance in Proceedings of the AAAI-94 Workshop on Experimental Evaluation of Reasoning and Search Methods,pp. 91-93, 1994.
1994 Lakhdar Saïs, Characterization of the set of models by means of symmetries in Proceedings of the Second Workshop on the Principles and Pratice of Constraint Programming PPCP-94,1994.
1994 Lakhdar Saïs, Finding Non Isomorphic Solutions in Proceedings of the 6th International Conference on AI : Methodology, Systems and Applications - AIMSA'94,1994.
1994 Lakhdar Saïs, R. Génisson, Towards an Understanding of Hard Satisfiability Problems in Proceedings of the CADE-12 Workshop on Evaluation of Automated Theorem Proving,pp. 24-29, 1994.
1994 Belaid Benhamou, Lakhdar Saïs, Two proof procedures of cardinality based language in propositional calculus in Proceedings of the 11th International Symposium on Theoretical Aspects of Computer Science - STACS'94,Springer, vol. 775, pp. 71-82, 1994.
1994 Lakhdar Saïs, A Computational Study of DP with Symmetry on Hard Satisfiability Problems in Proceedings of the AAAI-94 Workshop on Experimental Evaluation of Reasoning and Search Methods,pp. 52-56, 1994.
National journals
2017 Robin Nelly, Lakhdar Saïs, La fabrique des réseaux de traite au Sénégal échelles migratoires et situations prostitutionnelles in Revue européenne de géopolitique, Presses universitaires de Marne-la-Vallée ; Eres éditions ; L'Esprit du Temps (Outre-terre),vol. 4, n° 53, pp. 67-82, 2017.
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.
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 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 Lhouari Nourine, Jean-Marc Petit, Lakhdar Saïs, Approches déclaratives pour l'énumération de motifs intéressants (Tutoriel) in JFPC/IAF 2012,pp. 1-60, 2012.
2012 Said Jabbour, Jerry Lonlac, Lakhdar Saïs, Résolution Etendue par Substitution Dynamique des Fonctions Booléennes in JFPC,2012.
2012 Lhouari Nourine, Jean-Marc Petit, Lakhdar Saïs, Approches déclaratives pour l'énumération de motifs intéressants in Huitièmes Journées Francophones de Programmation par Contraintes - JFPC 2012,2012.
2011 Lhouari Nourine, Jean-Marc Petit, Lakhdar Saïs, Découverte de motifs: Enumération, Programmation par Contraintes/SAT et Bases de données (Tutoriel) in BDA 2011,pp. 1-60, 2011.
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.
2009 Dominique d'Almeida, Lakhdar Saïs, Recherche de la substituabilité par l'arc-cohérence de singleton in 5ièmes Journées Francophones de Programmation par Contraintes (JFPC'09),pp. 385-394, 2009.
2008 Assef Chmeiss, Vincent Krawczyk, Lakhdar Saïs, Intégration partielle de la consistance de chemin dans la résolution des CSP in JFPC 2008- Quatrièmes Journées Francophones de Programmation par Contraintes,pp. 385-389, 2008.
2008 Hachémi Bennaceur, Lakhdar Saïs, SAT, CSP et PL : un survol des liens et des progrès récents in JFPC 2008 - Quatrièmes Journées Francophones de Programmation par Contraintes,2008.
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 Olivier Fourdrinoy, Éric Grégoire, Bertrand Mazure, Lakhdar Saïs, Réduction d'instances de SAT vers des instances polynomiales in 16ième congrès francophone Reconnaissance des Formes et Intelligence Artificielle (RFIA'08),pp. 388-396, 2008.
2008 Cédric Piette, Youssef Hamadi, Lakhdar Saïs, Vivification de formules propositionnelles clausales in JFPC 2008- Quatrièmes Journées Francophones de Programmation par Contraintes,pp. 277-285, 2008.
2008 Assef Chmeiss, Vincent Krawczyk, Lakhdar Saïs, La redondance dans les CSPs in JFPC 2008- Quatrièmes Journées Francophones de Programmation par Contraintes,pp. 173-179, 2008.
2007 Olivier Fourdrinoy, Éric Grégoire, Bertrand Mazure, Lakhdar Saïs, Suppression des clauses redondantes dans des instances SAT in 3èmes Journées Francophones de Programmation par Contraintes (JFPC'07),pp. 28-37, 2007.
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.
2006 Olivier Fourdrinoy, Éric Grégoire, Bertrand Mazure, Lakhdar Saïs, Heuristique d'ordonnancement des variables pour SAT in Congrès de la Société Française de Recherche Opérationelle et d'Aide à la Décision (ROADEF'06),2006.
2005 Assef Chmeiss, Lakhdar Saïs, De FC a MAC : un Algorithme Paramétrable pour la Résolution de CSP in Premières Journées Francophones de la Programmation par Contraintes (JFPC'05),pp. 267-276, 2005.
2005 Sylvain Darras, Gilles Dequen, Laure Devendeville, Bertrand Mazure, Richard Ostrowski, Lakhdar Saïs, Utilisation de la Propagation de Contraintes pour la Production de Sous-Clauses in Premières Journées Francophones de la Programmation par Contraintes (JFPC'05),pp. 69-78, 2005.
2004 Éric Grégoire, Richard Ostrowski, Bertrand Mazure, Lakhdar Saïs, Déduction Automatique de Dépendances fonctionnelles in Dixièmes Journées Nationales sur la résolution Pratique de Problèmes NP-Complets (JNPC 2004),pp. 171-180, 2004.
2004 Gilles Audemard, Bertrand Mazure, Lakhdar Saïs, Symétries et Formules Booléennes Quantifiées in Journées Nationales de la Résolution Pratique des Problèmes NP-Complets (JNPC),pp. 43 - 53, 2004.
2004 Éric Grégoire, Richard Ostrowski, Bertrand Mazure, Lakhdar Saïs, Elimination des redondances dans les algorithmes de résolution de SAT in Actes du Quatorzième Congrès Francophone AFRIF-AFIA sur la Reconnaissance des Formes et l'Intelligence Artificielle (RFIA-2004),vol. 3, pp. 1343-1350, 2004.
2004 Frédéric Boussemart, Fred Hemery, Christophe Lecoutre, Lakhdar Saïs, Heuristiques de choix de variables dirigées par les conflits in 10èmes Journées Nationales sur la résolution pratique des Problèmes NP-Complets (JNPC'04),pp. 91-105, 2004.
2002 Richard Ostrowski, Éric Grégoire, Bertrand Mazure, Lakhdar Saïs, Techniques de simplification de CNF in Actes des 8èmes Journées Nationales sur la Résolution Pratique des Problèmes NP-complets (JNPC-02),pp. 181-194, 2002.
2001 Christian Bessiere, Assef Chmeiss, Lakhdar Saïs, Heuristiques multi-niveaux pour ordonner les variables dans les CSP in Actes des 7ème journées Nationales sur la résolution Pratique des problèmes NP-Complets (JNPC'2001),pp. 49-60, 2001.
2000 Laure Brisoux, Lakhdar Saïs, Éric Grégoire, Recherche locale : vers une exploitation des propriétés structurelles in Actes des Sixièmes Journ. Nat. sur la Résolution Pratique des Problèmes NP-complets (JNPC-00),pp. 243-244, 2000.
1999 A. Rauzy, Lakhdar Saïs, Laure Brisoux, Calcul propositionnel : vers une extension du formalisme in Actes des Cinquièmes Journées Nationales sur la Résolution Pratique des Problèmes NP-Complets (JNPC-99),pp. 189-198, 1999.
1998 Laure Brisoux, Lakhdar Saïs, Éric Grégoire, Mieux exploiter les échecs au sein des arbres de recherche à la Davis et Putnam in Actes des Quatrièmes Journ. Nat. sur la Résolution Pratique des Problèmes NP-complets (JNPC-98),pp. 31-39, 1998.
1996 Bertrand Mazure, Lakhdar Saïs, Éric Grégoire, Deux approches pour la résolution du problème SAT in Actes de la deuxième Conférence Nationale sur la Résolution Pratique des Problèmes NP-complets (CNCP-96),Teknéa Editions, pp. 103-114, 1996.
Book and proceedings editions
2018 Constraints Youssef Hamadi, Lakhdar Saïs, Handbook of Parallel Constraint Reasoning Springer International Publishing, 2018.
2008 Lakhdar Saïs, Problème SAT : Progrès et Défis pp. 352, Hermès, 2008.
2008 Lakhdar Saïs, Workshop on Symmetry and Constraint Satisfaction Problems - Affiliated to CP (SymCon) Sydney, au, 2008.
2008 Lakhdar Saïs, Colloque sur l'Optimisation et les Systèmes d'Information (COSI'05) Tizi-Ouzou, dz, 2008.
2007 Lakhdar Saïs, Colloque sur l'Optimisation et les Systèmes d'Information (COSI'09) Oran, dz, 2007.
2005 Lakhdar Saïs, 1ères Journées Francophones de Programmation par Contraintes (JFPC'05) Lens, fr, 2005.
1998 Lakhdar Saïs, 4èmes Journées Nationales sur la résolution pratique des problèmes NP-complets (JNPC'98) Nantes, zz, 1998.
Book chapters
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.
2016 Mohamed Maiza, Mohammed Said Radjef, Lakhdar Saïs, Efficient Lower Bounds for Packing Problems in Heterogeneous Bins with Conflicts Constraint in Intelligent Mathematics II : Applied Mathematics and Approximation Theory,vol. 441, Springer, 2016.
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.
2008 Olivier Dubois, Lakhdar Saïs, Bilan et défis in SAT : progrès et défis,pp. 311-318, Hermès, 2008.
2001 Brigitte Bessant, Éric Grégoire, Pierre Marquis, Lakhdar Saïs, Iterated Syntax-Based Revision in a Nonmonotonic Setting in Frontiers in Belief Revision,vol. 22, pp. 369-391, Kluwer Academic Publishers, 2001.
Technical reports
2013 Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Saïs, RCL: Reduce learnt clauses 2013.
2013 Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Saïs, SatHYS: Sat Hybrid Solver 2013.
2013 Said Jabbour, Lakhdar Saïs, Yakoub Salhi, A Mining-Based Compression Approach for Constraint Satisfaction Problems 2013.
2011 Youssef Hamadi, Said Jabbour, Cédric Piette, Lakhdar Saïs, Deterministic Parallel (DP)2LL 2011.
2008 Cédric Piette, Youssef Hamadi, Lakhdar Saïs, preSAT: SAT Solver Description 2008.
2003 Richard Ostrowski, Bertrand Mazure, Lakhdar Saïs, LSAT Solver v2.0 2003.
Former PhD students
- Ikram Nekkache : Constraint-based Pattern Extraction defended on : 2021-12-05
- Yazid Boumarafi : From graph theory to propositional satisfiability: a new approach for the characterization of tractable classes defended on : 2019-12-13
- Imen Ouled Dlala : Enumération des motifs intéressants dans les bases de données incertaines defended on : 2018-12-17
- Nizar Mhadhbi : Fouilles de graphes et application aux réseaux sociaux defended on : 2018-12-03
- Abdelhamid Boudane : Constraints-based Data Mining defended on : 2018-09-13
- Al-Saedi Mohammad Saleh Balasim : Extensions of Tractable Classes for Propositional Satisfiability defended on : 2016-11-14
- Jerry Lonlac Konlac : Résolution du problème de Satisfiabilité propositionnelle (SAT) et ses applications defended on : 2014-10-03
- Long Guo : Résolution séquentielle et parallèle du problème de la satisfiabilité propositionnelle defended on : 2013-07-08
- Jean-Marie Lagniez : Satisfiabilité propositionnelle et raisonnement par contraintes : modèles et algorithmes defended on : 2011-12-07
- Dominique Dalmeida : Étude de systèmes de contraintes contraintes hétérogènes pour la gestion du temps defended on : 2010-12-03
- Saïd Jabbour : De la Satisfiabilité Propositionnelle aux Formules Booléennes Quantifiées defended on : 2008-12-05
- Julien Vion : Contributions à la résolution générique des problèmes de satisfaction de contraintes defended on : 2007-11-30
- Olivier Fourdrinoy : Utilisation de techniques polynomiales pour la résolution pratique defended on : 2007-11-27
- Richard Ostrowski : Reconnaissance et exploitation de propriétés structurelles pour la résolution du problème SAT defended on : 2004-12-15
-
Old Projects
- ANR DAG (in french) 2009-2013
- ANR TUPLES (in french) 2010-2015