Publications

Articles de revues internationales

2017 Mohamed Baghdadi, Nacéra Benamrane, Lakhdar Saïs, Fuzzy generalized fast marching method for 3D segmentation of brain structures in International Journal of Imaging Systems and Technology (IJIST),vol. 27, n° 3, pp. 281-306, 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 (AMAI),vol. 79, n° 1, pp. 25-44, 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, Sebastien 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.

Articles de conférences internationales

2022 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, Auckland, New Zealand, May 9-13, 2022,2022.

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.

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.

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.

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.

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

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

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 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 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 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 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 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 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, Subsumption dirigée par l'analyse de conflits in Cinquièmes Journées Francophones de Programmation par Contraintes,pp. 105-115, 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.

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

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.

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.

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.

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

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.

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 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 É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, É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 Bessière, 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 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 É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, Syntax-based belief revision through local search in Proceedings of the International Workshop on Belief Revision,1998.

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.

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.

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.

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, SUN : a Multistrategy Platform for SAT in Proc. First Int. Competition and Symposium on Satisfiability Testing,1996.

1996 J. Crawford, Lakhdar Saïs, Symmetries in Proceedings of the First International Competition and Symposium on Satisfiability Testing,1996.

1996 Lakhdar Saïs, SAT : Experiments meet Theory in Proceedings of the ECAI-96 Workshop on Experimental Artificial Intelligence,1996.

1996 Bertrand Mazure, Lakhdar Saïs, Éric Grégoire, Detecting Logical Inconsistencies in Proc. AI and Maths Symposium,pp. 116-121, 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.

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

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.

Articles de revues nationales

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.

Articles de conférences nationales

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

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.

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.

2009 Dominique Dalmeida, 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 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 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 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.

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

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

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.

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

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.

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 Bessière, 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.

Éditions d'actes de conférences

2008 Lakhdar Saïs, Colloque sur l'Optimisation et les Systèmes d'Information (COSI'05) 2008.

2008 Lakhdar Saïs, Workshop on Symmetry and Constraint Satisfaction Problems - Affiliated to CP (SymCon) 2008.

2008 Lakhdar Saïs, Problème SAT : Progrès et Défis Hermès, 2008.

2007 Lakhdar Saïs, Colloque sur l'Optimisation et les Systèmes d'Information (COSI'09) 2007.

2005 Lakhdar Saïs, 1ères Journées Francophones de Programmation par Contraintes (JFPC'05) 2005.

1998 Lakhdar Saïs, 4èmes Journées Nationales sur la résolution pratique des problèmes NP-complets (JNPC'98) 1998.

Éditions d'ouvrages

2018 youssef Hamadi, Lakhdar Saïs, Handbook of Parallel Constraint Reasoning Springer International Publishing, 2018.

Chapitres d'ouvrages

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.

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.

Rapports techniques

2013 Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Saïs, RCL: Reduce learnt clauses 2013.

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

2013 Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Saïs, SatHYS: Sat Hybrid Solver 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.