Lakhdar Sais

According to our database, Lakhdar Sais authored at least 146 papers between 1992 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

On the Discovery of Frequent Gradual Patterns: A Symbolic AI-Based Framework.

Jerry Lonlac, Imen Ouled Dlala, Saïd Jabbour, Engelbert Mephu Nguifo, Badran Raddaoui, Lakhdar Saïs

SN Comput. Sci., October, 2024

Label propagation algorithm for community discovery based on centrality and common neighbours.

Asma Douadi, Nadjet Kamel, Lakhdar Sais

J. Supercomput., May, 2024

2023

Breast Cancer Histopathological Images Segmentation Using Deep Learning.

Wafaa Rajaa Drioua, Nacéra Benamrane, Lakhdar Sais

Sensors, September, 2023

A Symbolic Approach to Computing Disjunctive Association Rules from Data.

Saïd Jabbour, Badran Raddaoui, Lakhdar Sais

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

Classification with Explanation for Human Trafficking Networks.

David Ing, Fabien Delorme, Saïd Jabbour, Nelly Robin, Lakhdar Sais

Proceedings of the 10th IEEE International Conference on Data Science and Advanced Analytics, 2023

Extracting Frequent Gradual Patterns Based on SAT.

Jerry Lonlac, Imen Ouled Dlala, Saïd Jabbour, Engelbert Mephu Nguifo, Badran Raddaoui, Lakhdar Sais

Proceedings of the 12th International Conference on Data Science, 2023

2022

Detecting and exploiting symmetries in sequential pattern mining.

Ikram Nekkache, Saïd Jabbour, Nadjet Kamel, Lakhdar Sais

Int. J. Data Min. Model. Manag., 2022

Breast Cancer Detection from Histopathology Images Based on YOLOv5.

Wafaa Rajaa Drioua, Nacéra Benamrane, Lakhdar Sais

Proceedings of the 7th International Conference on Frontiers of Signal Processing, 2022

A Declarative Framework for Maximal <i>k</i>-plex Enumeration Problems.

Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais

Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, 2022

2021

A Bayesian Monte Carlo method for computing the Shapley value: Application to weighted voting and bin packing games.

Sofiane Touati, Mohammed Said Radjef, Lakhdar Sais

Comput. Oper. Res., 2021

Towards a Compact SAT-Based Encoding of Itemset Mining Tasks.

Ikram Nekkache, Saïd Jabbour, Lakhdar Sais, Nadjet Kamel

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2021

2020

SAT-based models for overlapping community detection in networks.

Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais

Computing, 2020

2019

Solving a Potential Clustering Game.

Kahina Bouchama, Arnaud Lallouet, Mohammed Said Radjef, Lakhdar Sais

Int. J. Artif. Intell. Tools, 2019

Extracting Frequent Gradual Patterns Using Constraints Modeling.

Jerry Lonlac, Saïd Jabbour, Engelbert Mephu Nguifo, Lakhdar Saïs, Badran Raddaoui

CoRR, 2019

Mining Gradual Itemsets Using Sequential Pattern Mining.

Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs

Proceedings of the 2019 IEEE International Conference on Fuzzy Systems, 2019

Représentations compactes des graphes et contraintes pseudo booléennes.

Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais

Proceedings of the Extraction et Gestion des connaissances, 2019

2018

Revisiting the Learned Clauses Database Reduction Strategies.

Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs, Yakoub Salhi

Int. J. Artif. Intell. Tools, 2018

SAT-Based Data Mining.

Abdelhamid Boudane, Saïd Jabbour, Lakhdar Sais, Yakoub Salhi

Int. J. Artif. Intell. Tools, 2018

Efficient Encodings of Conditional Cardinality Constraints.

Abdelhamid Boudane, Saïd Jabbour, Badran Raddaoui, Lakhdar Sais

CoRR, 2018

Efficient SAT-Based Encodings of Conditional Cardinality Constraints.

Abdelhamid Boudane, Saïd Jabbour, Badran Raddaoui, Lakhdar Sais

Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018

Pushing the Envelope in Overlapping Communities Detection.

Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais

Proceedings of the Advances in Intelligent Data Analysis XVII, 2018

On Maximal Frequent Itemsets Mining with Constraints.

Saïd Jabbour, Fatima Ezzahra Mana, Imen Ouled Dlala, Badran Raddaoui, Lakhdar Sais

Proceedings of the Principles and Practice of Constraint Programming, 2018

A Parallel SAT-Based Framework for Closed Frequent Itemsets Mining.

Imen Ouled Dlala, Saïd Jabbour, Badran Raddaoui, Lakhdar Sais

Proceedings of the Principles and Practice of Constraint Programming, 2018

Detecting Highly Overlapping Community Structure by Model-based Maximal Clique Expansion.

Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais

Proceedings of the IEEE International Conference on Big Data (IEEE BigData 2018), 2018

Triangle-Driven Community Detection in Large Graphs Using Propositional Satisfiability.

Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais

Proceedings of the 32nd IEEE International Conference on Advanced Information Networking and Applications, 2018

2017

Fuzzy generalized fast marching method for 3D segmentation of brain structures.

Mohamed Baghdadi, Nacéra Benamrane, Lakhdar Sais

Int. J. Imaging Syst. Technol., 2017

Quantifying conflicts in propositional logic through prime implicates.

Saïd Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais

Int. J. Approx. Reason., 2017

About some UP-based polynomial fragments of SAT.

Balasim Al-Saedi, Olivier Fourdrinoy, Éric Grégoire, Bertrand Mazure, Lakhdar Saïs

Ann. Math. Artif. Intell., 2017

Mining Top-k motifs with a SAT-based framework.

Saïd Jabbour, Lakhdar Sais, Yakoub Salhi

Artif. Intell., 2017

On Maximal Frequent Itemsets Enumeration.

Saïd Jabbour, Fatima Zahra Mana, Lakhdar Sais

Proceedings of the Ninth International Conference on Soft Computing and Pattern Recognition, 2017

A SAT-Based Framework for Overlapping Community Detection in Networks.

Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais

Proceedings of the Advances in Knowledge Discovery and Data Mining, 2017

Clustering Complex Data Represented as Propositional Formulas.

Abdelhamid Boudane, Saïd Jabbour, Lakhdar Sais, Yakoub Salhi

Proceedings of the Advances in Knowledge Discovery and Data Mining, 2017

Enumerating Non-redundant Association Rules Using Satisfiability.

Abdelhamid Boudane, Saïd Jabbour, Lakhdar Sais, Yakoub Salhi

Proceedings of the Advances in Knowledge Discovery and Data Mining, 2017

From SAT to Maximum Independent Set: A New Approach to Characterize Tractable Classes.

Yazid Boumarafi, Lakhdar Sais, Yakoub Salhi

Proceedings of the LPAR-21, 2017

Enhancing Pigeon-Hole based Encoding of Boolean Cardinality Constraints.

Soukaina Hattad, Saïd Jabbour, Lakhdar Sais, Yakoub Salhi

Proceedings of the 9th International Conference on Agents and Artificial Intelligence, 2017

Une approche logique pour la fouille de règles d'association.

Abdelhamid Boudane, Saïd Jabbour, Lakhdar Sais, Yakoub Salhi

Proceedings of the 17ème Journées Francophones Extraction et Gestion des Connaissances, 2017

Finding Overlapping Communities in Networks Using Propositional Satisfiability.

Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais

Proceedings of the Actes des 13èmes journées francophones sur les Entrepôts de Données et l'Analyse en Ligne, 2017

2016

What we can learn from conflicts in propositional satisfiability.

Youssef Hamadi, Saïd Jabbour, Lakhdar Saïs

Ann. Oper. Res., 2016

A Comparative Study of SAT-Based Itemsets Mining.

Imen Ouled Dlala, Saïd Jabbour, Lakhdar Saïs, Boutheina Ben Yaghlane

Proceedings of the Research and Development in Intelligent Systems XXXIII, 2016

A MIS Partition Based Framework for Measuring Inconsistency.

Saïd Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais, Yakoub Salhi

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Z-Equilibrium For a CSP Game.

Kahina Bouchama, Mohammed Said Radjef, Lakhdar Sais

Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2016

A SAT-Based Approach for Mining Association Rules.

Abdelhamid Boudane, Saïd Jabbour, Lakhdar Sais, Yakoub Salhi

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Itemset Mining with Penalties.

Saïd Jabbour, Souhila Kaci, Lakhdar Sais, Yakoub Salhi

Proceedings of the 28th IEEE International Conference on Tools with Artificial Intelligence, 2016

A SAT-Based Approach for Enumerating Interesting Patterns from Uncertain Data.

Imen Ouled Dlala, Saïd Jabbour, Badran Raddaoui, Lakhdar Sais, Boutheina Ben Yaghlane

Proceedings of the 28th IEEE International Conference on Tools with Artificial Intelligence, 2016

Knowledge Base Compilation for Inconsistency Measures.

Saïd Jabbour, Badran Raddaoui, Lakhdar Sais

Proceedings of the 8th International Conference on Agents and Artificial Intelligence (ICAART 2016), 2016

Exploiting MUS Structure to Measure Inconsistency of Knowledge Bases.

Saïd Jabbour, Lakhdar Sais

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

On the Computation of Top-k Extensions in Abstract Argumentation Frameworks.

Saïd Jabbour, Badran Raddaoui, Lakhdar Sais, Yakoub Salhi

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

Summarizing big graphs by means of pseudo-boolean constraints.

Saïd Jabbour, Nizar Mhadhbi, Abdesattar Mhadhbi, Badran Raddaoui, Lakhdar Sais

Proceedings of the 2016 IEEE International Conference on Big Data (IEEE BigData 2016), 2016

2015

On SAT Models Enumeration in Itemset Mining.

Saïd Jabbour, Lakhdar Sais, Yakoub Salhi

CoRR, 2015

Decomposition Based SAT Encodings for Itemset Mining Problems.

Saïd Jabbour, Lakhdar Sais, Yakoub Salhi

Proceedings of the Advances in Knowledge Discovery and Data Mining, 2015

Mining to Compress Table Constraints.

Saïd Jabbour, Stéphanie Roussel, Lakhdar Sais, Yakoub Salhi

Proceedings of the 27th IEEE International Conference on Tools with Artificial Intelligence, 2015

Inconsistency-based Ranking of Knowledge Bases.

Saïd Jabbour, Badran Raddaoui, Lakhdar Sais

Proceedings of the ICAART 2015, 2015

On Structure-Based Inconsistency Measures and Their Computations via Closed Set Packing.

Saïd Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais, Yakoub Salhi

Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

Parallel SAT based closed frequent itemsets enumeration.

Imen Ouled Dlala, Saïd Jabbour, Lakhdar Sais, Yakoub Salhi, Boutheina Ben Yaghlane

Proceedings of the 12th IEEE/ACS International Conference of Computer Systems and Applications, 2015

2014

Résolution étendue par substitution dynamique des fonctions booléennes.

Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs, Clémentin Tayou Djamégni

Rev. d'Intelligence Artif., 2014

On the measure of conflicts: A MUS-Decomposition Based Framework.

Saïd Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais, Yakoub Salhi

CoRR, 2014

Enumerating Prime Implicants of Propositional Formulae in Conjunctive Normal Form.

Saïd Jabbour, João Marques-Silva, Lakhdar Sais, Yakoub Salhi

Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

About Some UP-Based Polynomial Fragments of SAT.

Mohammad Al-Saedi, Éric Grégoire, Bertrand Mazure, Lakhdar Saïs

Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2014

Extending modern SAT solvers for models enumeration.

Saïd Jabbour, Jerry Lonlac, Lakhdar Sais, Yakoub Salhi

Proceedings of the 15th IEEE International Conference on Information Reuse and Integration, 2014

On the Characterization of Inconsistency: A Prime Implicates Based Framework.

Saïd Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais

Proceedings of the 26th IEEE International Conference on Tools with Artificial Intelligence, 2014

Diversification by Clauses Deletion Strategies in Portfolio Parallel SAT Solving.

Long Guo, Saïd Jabbour, Jerry Lonlac, Lakhdar Sais

Proceedings of the 26th IEEE International Conference on Tools with Artificial Intelligence, 2014

Extensions and Variants of Dalal's Quad Polynomial Fragments of SAT.

Balasim Al-Saedi, Éric Grégoire, Bertrand Mazure, Lakhdar Sais

Proceedings of the 26th IEEE International Conference on Tools with Artificial Intelligence, 2014

A Generic and Declarative Method for Symmetry Breaking in Itemset Mining.

Belaïd Benhamou, Saïd Jabbour, Lakhdar Sais, Yakoub Salhi

Proceedings of the Knowledge Discovery, Knowledge Engineering and Knowledge Management, 2014

Symmetry Breaking in Itemset Mining.

Belaïd Benhamou, Saïd Jabbour, Lakhdar Sais, Yakoub Salhi

Proceedings of the KDIR 2014 - Proceedings of the International Conference on Knowledge Discovery and Information Retrieval, Rome, Italy, 21, 2014

Symétries et Extraction de Motifs Ensemblistes.

Saïd Jabbour, Mehdi Khiari, Lakhdar Sais, Yakoub Salhi, Karim Tabia

Proceedings of the 14èmes Journées Francophones Extraction et Gestion des Connaissances, 2014

Prime Implicates Based Inconsistency Characterization.

Saïd Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

2013

A Pigeon-Hole Based Encoding of Cardinality Constraints.

Saïd Jabbour, Lakhdar Sais, Yakoub Salhi

Theory Pract. Log. Program., 2013

A Mining-Based Compression Approach for Constraint Satisfaction Problems

Saïd Jabbour, Lakhdar Sais, Yakoub Salhi

CoRR, 2013

Mining to Compact CNF Propositional Formulae

Saïd Jabbour, Lakhdar Sais, Yakoub Salhi

CoRR, 2013

Adding New Bi-Asserting Clauses for Faster Search in Modern SAT Solvers.

Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs

Proceedings of the Tenth Symposium on Abstraction, Reformulation, and Approximation, 2013

The Top-k Frequent Closed Itemset Mining Using Top-k SAT Problem.

Saïd Jabbour, Lakhdar Sais, Yakoub Salhi

Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2013

Symmetry-Based Pruning in Itemset Mining.

Saïd Jabbour, Mehdi Khiari, Lakhdar Sais, Yakoub Salhi, Karim Tabia

Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, 2013

Mining-based compression approach of propositional formulae.

Saïd Jabbour, Lakhdar Sais, Yakoub Salhi, Takeaki Uno

Proceedings of the 22nd ACM International Conference on Information and Knowledge Management, 2013

Boolean satisfiability for sequence mining.

Saïd Jabbour, Lakhdar Sais, Yakoub Salhi

Proceedings of the 22nd ACM International Conference on Information and Knowledge Management, 2013

2012

Symétries et QBF.

Saïd Jabbour, Lakhdar Sais

Rev. d'Intelligence Artif., 2012

On the complexity of computing minimal unsatisfiable LTL formulas.

Lakhdar Saïs, Mohand-Said Hacid, François Hantry

Electron. Colloquium Comput. Complex., 2012

Learning from conflicts in propositional satisfiability.

Youssef Hamadi, Saïd Jabbour, Lakhdar Sais

4OR, 2012

Intensification Search in Modern SAT Solvers - (Poster Presentation).

Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012

Graded Modal Logic GS5 and Itemset Support Satisfiability.

Yakoub Salhi, Saïd Jabbour, Lakhdar Sais

Proceedings of the Information Search, Integration and Personalization, 2012

Extending Resolution by Dynamic Substitution of Boolean Functions.

Saïd Jabbour, Jerry Lonlac, Lakhdar Sais

Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012

Symmetries in Itemset Mining.

Saïd Jabbour, Lakhdar Sais, Yakoub Salhi, Karim Tabia

Proceedings of the ECAI 2012, 2012

A SAT-Based Approach for Discovering Frequent, Closed and Maximal Patterns in a Sequence.

Emmanuel Coquery, Saïd Jabbour, Lakhdar Saïs, Yakoub Salhi

Proceedings of the ECAI 2012, 2012

Control-Based Clause Sharing in Parallel SAT Solving.

Youssef Hamadi, Saïd Jabbour, Lakhdar Sais

Proceedings of the Autonomous Search, 2012

2011

Deterministic Parallel DPLL.

Youssef Hamadi, Saïd Jabbour, Cédric Piette, Lakhdar Sais

J. Satisf. Boolean Model. Comput., 2011

On Freezing and Reactivating Learnt Clauses.

Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Sais

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2011, 2011

A Constraint Programming Approach for Enumerating Motifs in a Sequence.

Emmanuel Coquery, Saïd Jabbour, Lakhdar Sais

Proceedings of the Data Mining Workshops (ICDMW), 2011

2010

Learning for Dynamic Subsumption.

Youssef Hamadi, Saïd Jabbour, Lakhdar Sais

Int. J. Artif. Intell. Tools, 2010

Boosting Local Search Thanks to cdcl.

Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Sais

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

Portfolio-based Parallel SAT solving.

Lakhdar Sais

Proceedings of the 2010 International Conference on High Performance Computing & Simulation, 2010

Diversification and Intensification in Parallel SAT Solving.

Long Guo, Youssef Hamadi, Saïd Jabbour, Lakhdar Sais

Proceedings of the Principles and Practice of Constraint Programming - CP 2010, 2010

Segmentation of 3D Brain Structures Using the Bayesian Generalized Fast Marching Method.

Mohamed Baghdadi, Nacéra Benamrane, Lakhdar Sais

Proceedings of the Brain Informatics, International Conference, 2010

2009

ManySAT: a Parallel SAT Solver.

Youssef Hamadi, Saïd Jabbour, Lakhdar Sais

J. Satisf. Boolean Model. Comput., 2009

Integrating Conflict Driven Clause Learning to Local Search

Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Sais

Proceedings of the Proceedings 6th International Workshop on Local Search Techniques in Constraint Satisfaction, 2009

Reasoning from last conflict(s) in constraint programming.

Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal

Artif. Intell., 2009

Control-Based Clause Sharing in Parallel SAT Solving.

Youssef Hamadi, Saïd Jabbour, Lakhdar Sais

Proceedings of the IJCAI 2009, 2009

Local Autarkies Searching for the Dynamic Partition of CNF Formulae.

Éric Grégoire, Bertrand Mazure, Lakhdar Sais

Proceedings of the ICTAI 2009, 2009

Enhancing Neighbourhood Substitutability Thanks to Singleton Arc Consistency.

Dominique D'Almeida, Lakhdar Sais

Proceedings of the ICTAI 2009, 2009

Learning in Local Search.

Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Sais

Proceedings of the ICTAI 2009, 2009

Efficient Combination of Decision Procedures for MUS Computation.

Cédric Piette, Youssef Hamadi, Lakhdar Sais

Proceedings of the Frontiers of Combining Systems, 7th International Symposium, 2009

2008

SAT graph-based representation: A new perspective.

Gilles Audemard, Saïd Jabbour, Lakhdar Sais

J. Algorithms, 2008

A Generalized Framework for Conflict Analysis.

Gilles Audemard, Lucas Bordeaux, Youssef Hamadi, Saïd Jabbour, Lakhdar Sais

Proceedings of the Theory and Applications of Satisfiability Testing, 2008

Vivifying Propositional Clausal Formulae.

Cédric Piette, Youssef Hamadi, Lakhdar Sais

Proceedings of the ECAI 2008, 2008

Redundancy in CSPs.

Assef Chmeiss, Vincent Krawczyk, Lakhdar Sais

Proceedings of the ECAI 2008, 2008

2007

Using SAT Encodings to Drive CSP Value Ordering Heuristics.

Christophe Lecoutre, Lakhdar Sais, Julien Vion

J. Satisf. Boolean Model. Comput., 2007

Recording and Minimizing Nogoods from Restarts.

Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal

J. Satisf. Boolean Model. Comput., 2007

Circuit Based Encoding of CNF Formula.

Gilles Audemard, Lakhdar Sais

Proceedings of the Theory and Applications of Satisfiability Testing, 2007

Relaxation of Qualitative Constraint Networks.

Dominique D'Almeida, Jean-François Condotta, Christophe Lecoutre, Lakhdar Sais

Proceedings of the Abstraction, 2007

From Horn Strong Backdoor Sets to Ordered Strong Backdoor Sets.

Lionel Paris, Richard Ostrowski, Pierre Siegel, Lakhdar Sais

Proceedings of the MICAI 2007: Advances in Artificial Intelligence, 2007

Reducing hard SAT instances to polynomial ones.

Olivier Fourdrinoy, Éric Grégoire, Bertrand Mazure, Lakhdar Sais

Proceedings of the IEEE International Conference on Information Reuse and Integration, 2007

Nogood Recording from Restarts.

Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal

Proceedings of the IJCAI 2007, 2007

Symmetry Breaking in Quantified Boolean Formulae.

Gilles Audemard, Saïd Jabbour, Lakhdar Sais

Proceedings of the IJCAI 2007, 2007

Light Integration of Path Consistency for Solving CSPs.

Assef Chmeiss, Vincent Krawczyk, Lakhdar Sais

Proceedings of the 19th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2007), 2007

Eliminating Redundant Clauses in SAT Instances.

Olivier Fourdrinoy, Éric Grégoire, Bertrand Mazure, Lakhdar Sais

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2007

Exploiting Past and Future: Pruning by Inconsistent Partial State Dominance.

Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal

Proceedings of the Principles and Practice of Constraint Programming, 2007

Transposition Tables for Constraint Satisfaction.

Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal

Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006

A new heuristic-based albeit complete method to extract MUCs from unsatisfiable CSPs.

Éric Grégoire, Bertrand Mazure, Cédric Piette, Lakhdar Sais

Proceedings of the 2006 IEEE International Conference on Information Reuse and Integration, 2006

Computing Horn Strong Backdoor Sets Thanks to Local Search.

Lionel Paris, Richard Ostrowski, Pierre Siegel, Lakhdar Sais

Proceedings of the 18th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2006), 2006

Last Conflict Based Reasoning.

Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

Extracting MUCs from Constraint Networks.

Fred Hemery, Christophe Lecoutre, Lakhdar Sais, Frédéric Boussemart

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

2005

A Symbolic Search Based Approach for Quantified Boolean Formulas.

Gilles Audemard, Lakhdar Sais

Proceedings of the Theory and Applications of Satisfiability Testing, 2005

Using Boolean Constraint Propagation for Sub-clauses Deduction.

Sylvain Darras, Gilles Dequen, Laure Devendeville, Bertrand Mazure, Richard Ostrowski, Lakhdar Sais

Proceedings of the Principles and Practice of Constraint Programming, 2005

2004

Automatic Extraction of Functional Dependencies.

Éric Grégoire, Richard Ostrowski, Bertrand Mazure, Lakhdar Sais

Proceedings of the Theory and Applications of Satisfiability Testing, 2004

Dealing with Symmetries in Quantified Boolean Formulas.

Gilles Audemard, Bertrand Mazure, Lakhdar Sais

Proceedings of the SAT 2004, 2004

Constraint Satisfaction Problems: Backtrack Search Revisited.

Assef Chmeiss, Lakhdar Sais

Proceedings of the 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2004), 2004

SAT Based BDD Solver for Quantified Boolean Formulas.

Gilles Audemard, Lakhdar Sais

Proceedings of the 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2004), 2004

Boosting Systematic Search by Weighting Constraints.

Frédéric Boussemart, Fred Hemery, Christophe Lecoutre, Lakhdar Sais

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

Support Inference for Generic Filtering.

Frédéric Boussemart, Fred Hemery, Christophe Lecoutre, Lakhdar Sais

Proceedings of the Principles and Practice of Constraint Programming, 2004

2003

Eliminating Redundancies in SAT Search Trees.

Richard Ostrowski, Bertrand Mazure, Lakhdar Sais, Éric Grégoire

Proceedings of the 15th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2003), 2003

2002

Recovering and Exploiting Structural Knowledge from CNF Formulas.

Richard Ostrowski, Éric Grégoire, Bertrand Mazure, Lakhdar Sais

Proceedings of the Principles and Practice of Constraint Programming, 2002

Using Failed Local Search for SAT as an Oracle for Tackling Harder A.I. Problems More Efficiently.

Éric Grégoire, Bertrand Mazure, Lakhdar Sais

Proceedings of the Artificial Intelligence: Methodology, 2002

2001

Checking depth-limited consistency and inconsistency in knowledge-based systems.

Laure Brisoux, Éric Grégoire, Lakhdar Sais

Int. J. Intell. Syst., 2001

Neighborhood-Based Variable Ordering Heuristics for the Constraint Satisfaction Problem.

Christian Bessière, Assef Chmeiss, Lakhdar Sais

Proceedings of the Principles and Practice of Constraint Programming, 2001

2000

About the use of local consistency in solving CSPs.

Assef Chmeiss, Lakhdar Sais

Proceedings of the 12th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2000), 2000

1999

Improving Backtrack Search for SAT by Means of Redundancy.

Laure Brisoux, Éric Grégoire, Lakhdar Sais

Proceedings of the Foundations of Intelligent Systems, 11th International Symposium, 1999

1998

Boosting Complete Techniques Thanks to Local Search Methods.

Bertrand Mazure, Lakhdar Sais, Éric Grégoire

Ann. Math. Artif. Intell., 1998

Validation of Knowledge-Based Systems by Means of Stochastic Search.

Laure Brisoux, Éric Grégoire, Lakhdar Sais

Proceedings of the Ninth International Workshop on Database and Expert Systems Applications, 1998

System Description: CRIL Platform for SAT.

Bertrand Mazure, Lakhdar Sais, Éric Grégoire

Proceedings of the Automated Deduction, 1998

Combining Nonmonotonic Reasoning and Belief Revision: A Practical Approach.

Brigitte Bessant, Éric Grégoire, Pierre Marquis, Lakhdar Sais

Proceedings of the Artificial Intelligence: Methodology, 1998

1997

An Efficient Technique to Ensure the Logical Consistency of Interacting Knowledge Bases.

Bertrand Mazure, Lakhdar Sais, Éric Grégoire

Int. J. Cooperative Inf. Syst., 1997

Tractable Cover Compilations.

Yacine Boufkhad, Éric Grégoire, Pierre Marquis, Bertrand Mazure, Lakhdar Sais

Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

Local Search for Computing Normal Circumstances Models.

Bertrand Mazure, Lakhdar Sais, Éric Grégoire

Proceedings of the Computational Intelligence, 1997

Checking Several Forms of Consistency in Nonmonotonic Knowledge-Bases.

Bertrand Mazure, Lakhdar Sais, Éric Grégoire

Proceedings of the Qualitative and Quantitative Practical Reasoning, 1997

Tabu Search for SAT.

Bertrand Mazure, Lakhdar Sais, Éric Grégoire

Proceedings of the Fourteenth National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence Conference, 1997

1994

Tractability Through Symmetries in Propositional Calculus.

Belaid Benhamou, Lakhdar Sais

J. Autom. Reason., 1994

Two Proof Procedures for a Cardinality Based Language in Propositional Calculus.

Belaid Benhamou, Lakhdar Sais, Pierre Siegel

Proceedings of the STACS 94, 1994

1992

Theoretical Study of Symmetries in Propositional Calculus and Applications.

Belaid Benhamou, Lakhdar Sais

Proceedings of the Automated Deduction, 1992