Symmetry Breaking in Quantified Boolean Formulae. - Gilles Audemard; Saïd Jabbour; Lakhdar Sais (IJCAI, 2007)

A Generalized Framework for Conflict Analysis. - Gilles Audemard; Lucas Bordeaux; Youssef Hamadi; Saïd Jabbour; Lakhdar Sais (SAT, 2008)

SAT graph-based representation: A new perspective. - Gilles Audemard; Saïd Jabbour; Lakhdar Sais (J. Algorithms, 2008)

Learning for Dynamic Assignments Reordering. - Saïd Jabbour (ICTAI, 2009)

Control-Based Clause Sharing in Parallel SAT Solving. - Youssef Hamadi; Saïd Jabbour; Lakhdar Sais (IJCAI, 2009)

ManySAT: a Parallel SAT Solver. - Youssef Hamadi; Saïd Jabbour; Lakhdar Sais (J. Satisf. Boolean Model. Comput., 2009)

Diversification and Intensification in Parallel SAT Solving. - Long Guo; Youssef Hamadi; Saïd Jabbour; Lakhdar Sais (CP, 2010)

Learning for Dynamic Subsumption. - Youssef Hamadi; Saïd Jabbour; Lakhdar Sais (Int. J. Artif. Intell. Tools, 2010)

Learning from successes. - Saïd Jabbour (Int. J. Artif. Intell. Tools, 2010)

A Constraint Programming Approach for Enumerating Motifs in a Sequence. - Emmanuel Coquery; Saïd Jabbour; Lakhdar Sais (ICDM Workshops, 2011)

Deterministic Parallel DPLL. - Youssef Hamadi; Saïd Jabbour; Cédric Piette; Lakhdar Sais (J. Satisf. Boolean Model. Comput., 2011)

Control-Based Clause Sharing in Parallel SAT Solving. - Youssef Hamadi; Saïd Jabbour; Lakhdar Sais (Autonomous Search, 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 (ECAI, 2012)

Symmetries in Itemset Mining. - Saïd Jabbour; Lakhdar Sais; Yakoub Salhi; Karim Tabia (ECAI, 2012)

Extending Resolution by Dynamic Substitution of Boolean Functions. - Saïd Jabbour; Jerry Lonlac; Lakhdar Sais (ICTAI, 2012)

Graded Modal Logic GS5 and Itemset Support Satisfiability. - Yakoub Salhi; Saïd Jabbour; Lakhdar Sais (ISIP, 2012)

Revisiting Clause Exchange in Parallel SAT Solving. - Gilles Audemard; Benoît Hoessen; Saïd Jabbour; Jean-Marie Lagniez; Cédric Piette (SAT, 2012)

Intensification Search in Modern SAT Solvers - (Poster Presentation). - Saïd Jabbour; Jerry Lonlac; Lakhdar Saïs (SAT, 2012)

Learning from conflicts in propositional satisfiability. - Youssef Hamadi; Saïd Jabbour; Lakhdar Sais (4OR, 2012)

Symétries et QBF. - Saïd Jabbour; Lakhdar Sais (Rev. d'Intelligence Artif., 2012)

Boolean satisfiability for sequence mining. - Saïd Jabbour; Lakhdar Sais; Yakoub Salhi (CIKM, 2013)

Mining-based compression approach of propositional formulae. - Saïd Jabbour; Lakhdar Sais; Yakoub Salhi; Takeaki Uno (CIKM, 2013)

Measuring Inconsistency through Minimal Proofs. - Saïd Jabbour; Badran Raddaoui (ECSQARU, 2013)

Symmetry-Based Pruning in Itemset Mining. - Saïd Jabbour; Mehdi Khiari; Lakhdar Sais; Yakoub Salhi; Karim Tabia (ICTAI, 2013)

The Top-k Frequent Closed Itemset Mining Using Top-k SAT Problem. - Saïd Jabbour; Lakhdar Sais; Yakoub Salhi (ECML/PKDD (3), 2013)

Adding New Bi-Asserting Clauses for Faster Search in Modern SAT Solvers. - Saïd Jabbour; Jerry Lonlac; Lakhdar Saïs (SARA, 2013)

Mining to Compact CNF Propositional Formulae - Saïd Jabbour; Lakhdar Sais; Yakoub Salhi (CoRR, 2013)

A Mining-Based Compression Approach for Constraint Satisfaction Problems - Saïd Jabbour; Lakhdar Sais; Yakoub Salhi (CoRR, 2013)

A Pigeon-Hole Based Encoding of Cardinality Constraints. - Saïd Jabbour; Lakhdar Sais; Yakoub Salhi (Theory Pract. Log. Program., 2013)

Inconsistency measurement thanks to mus decomposition. - Saïd Jabbour; Yue Ma 009; Badran Raddaoui (AAMAS, 2014)

Prime Implicates Based Inconsistency Characterization. - Saïd Jabbour; Yue Ma 009; Badran Raddaoui; Lakhdar Sais (ECAI, 2014)

Symétries et Extraction de Motifs Ensemblistes. - Saïd Jabbour; Mehdi Khiari; Lakhdar Sais; Yakoub Salhi; Karim Tabia (EGC, 2014)

Symmetry Breaking in Itemset Mining. - Belaïd Benhamou; Saïd Jabbour; Lakhdar Sais; Yakoub Salhi (KDIR, 2014)

A Generic and Declarative Method for Symmetry Breaking in Itemset Mining. - Belaïd Benhamou; Saïd Jabbour; Lakhdar Sais; Yakoub Salhi (IC3K (Selected Papers), 2014)

Diversification by Clauses Deletion Strategies in Portfolio Parallel SAT Solving. - Long Guo; Saïd Jabbour; Jerry Lonlac; Lakhdar Sais (ICTAI, 2014)

On the Characterization of Inconsistency: A Prime Implicates Based Framework. - Saïd Jabbour; Yue Ma 009; Badran Raddaoui; Lakhdar Sais (ICTAI, 2014)

Extending modern SAT solvers for models enumeration. - Saïd Jabbour; Jerry Lonlac; Lakhdar Sais; Yakoub Salhi (IRI, 2014)

Enumerating Prime Implicants of Propositional Formulae in Conjunctive Normal Form. - Saïd Jabbour; João Marques-Silva 001; Lakhdar Sais; Yakoub Salhi (JELIA, 2014)

An Effective Distributed D&C Approach for the Satisfiability Problem. - Gilles Audemard; Benoît Hoessen; Saïd Jabbour; Cédric Piette (PDP, 2014)

Dolius: A Distributed Parallel SAT Solving Framework. - Gilles Audemard; Benoît Hoessen; Saïd Jabbour; Cédric Piette (POS@SAT, 2014)

On the measure of conflicts: A MUS-Decomposition Based Framework. - Saïd Jabbour; Yue Ma 009; Badran Raddaoui; Lakhdar Sais; Yakoub Salhi (CoRR, 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)

Parallel SAT based closed frequent itemsets enumeration. - Imen Ouled Dlala; Saïd Jabbour; Lakhdar Sais; Yakoub Salhi; Boutheina Ben Yaghlane (AICCSA, 2015)

On Structure-Based Inconsistency Measures and Their Computations via Closed Set Packing. - Saïd Jabbour; Yue Ma 009; Badran Raddaoui; Lakhdar Sais; Yakoub Salhi (AAMAS, 2015)

Inconsistency-based Ranking of Knowledge Bases. - Saïd Jabbour; Badran Raddaoui; Lakhdar Sais (ICAART (2), 2015)

Relaxation Based SaaS for Repairing Failed Queries over the Cloud Computing. - Abderrahim Ait Wakrime; Salima Benbernou; Saïd Jabbour (ICEBE, 2015)

On QoS web service composition using satisfiability. - Abderrahim Ait Wakrime; Saïd Jabbour (ICTA, 2015)

Mining to Compress Table Constraints. - Saïd Jabbour; Stéphanie Roussel 001; Lakhdar Sais; Yakoub Salhi (ICTAI, 2015)

Minimum Unsatisfiability based QoS Web Service Composition over the Cloud Computing. - Abderrahim Ait Wakrime; Saïd Jabbour (ISDA, 2015)

Decomposition Based SAT Encodings for Itemset Mining Problems. - Saïd Jabbour; Lakhdar Sais; Yakoub Salhi (PAKDD (2), 2015)

On SAT Models Enumeration in Itemset Mining. - Saïd Jabbour; Lakhdar Sais; Yakoub Salhi (CoRR, 2015)

On repairing queries in cloud computing. - Abderrahim Ait Wakrime; Saïd Jabbour (AICCSA, 2016)

Summarizing big graphs by means of pseudo-boolean constraints. - Saïd Jabbour; Nizar Mhadhbi; Abdesattar Mhadhbi; Badran Raddaoui; Lakhdar Sais (IEEE BigData, 2016)

On Inconsistency Measuring and Resolving. - Saïd Jabbour (ECAI, 2016)

On the Computation of Top-k Extensions in Abstract Argumentation Frameworks. - Saïd Jabbour; Badran Raddaoui; Lakhdar Sais; Yakoub Salhi (ECAI, 2016)

Exploiting MUS Structure to Measure Inconsistency of Knowledge Bases. - Saïd Jabbour; Lakhdar Sais (ECAI, 2016)

Knowledge Base Compilation for Inconsistency Measures. - Saïd Jabbour; Badran Raddaoui; Lakhdar Sais (ICAART (2), 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 (ICTAI, 2016)

Itemset Mining with Penalties. - Saïd Jabbour; Souhila Kaci; Lakhdar Sais; Yakoub Salhi (ICTAI, 2016)

A SAT-Based Approach for Mining Association Rules. - Abdelhamid Boudane; Saïd Jabbour; Lakhdar Sais; Yakoub Salhi (IJCAI, 2016)

A MIS Partition Based Framework for Measuring Inconsistency. - Saïd Jabbour; Yue Ma 009; Badran Raddaoui; Lakhdar Sais; Yakoub Salhi (KR, 2016)

A Comparative Study of SAT-Based Itemsets Mining. - Imen Ouled Dlala; Saïd Jabbour; Lakhdar Saïs; Boutheina Ben Yaghlane (SGAI Conf., 2016)

What we can learn from conflicts in propositional satisfiability. - Youssef Hamadi; Saïd Jabbour; Lakhdar Saïs (Ann. Oper. Res., 2016)

Finding Overlapping Communities in Networks Using Propositional Satisfiability. - Saïd Jabbour; Nizar Mhadhbi; Badran Raddaoui; Lakhdar Sais (EDA, 2017)

Une approche logique pour la fouille de règles d'association. - Abdelhamid Boudane; Saïd Jabbour; Lakhdar Sais; Yakoub Salhi (EGC, 2017)

Enhancing Pigeon-Hole based Encoding of Boolean Cardinality Constraints. - Soukaina Hattad; Saïd Jabbour; Lakhdar Sais; Yakoub Salhi (ICAART (2), 2017)

Enumerating Non-redundant Association Rules Using Satisfiability. - Abdelhamid Boudane; Saïd Jabbour; Lakhdar Sais; Yakoub Salhi (PAKDD (1), 2017)

Clustering Complex Data Represented as Propositional Formulas. - Abdelhamid Boudane; Saïd Jabbour; Lakhdar Sais; Yakoub Salhi (PAKDD (2), 2017)

A SAT-Based Framework for Overlapping Community Detection in Networks. - Saïd Jabbour; Nizar Mhadhbi; Badran Raddaoui; Lakhdar Sais (PAKDD (2), 2017)

On Maximal Frequent Itemsets Enumeration. - Saïd Jabbour; Fatima Zahra Mana; Lakhdar Sais (SoCPaR, 2017)

Handling conflicts in uncertain ontologies using deductive argumentation. - Amel Bouzeghoub; Saïd Jabbour; Yue Ma 009; Badran Raddaoui (WI, 2017)

Formal Approach for QoS-Aware Cloud Service Composition. - Abderrahim Ait Wakrime; Saïd Jabbour (WETICE, 2017)

Mining Top-k motifs with a SAT-based framework. - Saïd Jabbour; Lakhdar Sais; Yakoub Salhi (Artif. Intell., 2017)

Quantifying conflicts in propositional logic through prime implicates. - Saïd Jabbour; Yue Ma 009; Badran Raddaoui; Lakhdar Sais (Int. J. Approx. Reason., 2017)

Des Données aux Connaissances : Modèles et Algorithmes. - Saïd Jabbour (2018)

Triangle-Driven Community Detection in Large Graphs Using Propositional Satisfiability. - Saïd Jabbour; Nizar Mhadhbi; Badran Raddaoui; Lakhdar Sais (AINA, 2018)

Detecting Highly Overlapping Community Structure by Model-based Maximal Clique Expansion. - Saïd Jabbour; Nizar Mhadhbi; Badran Raddaoui; Lakhdar Sais (IEEE BigData, 2018)

A Parallel SAT-Based Framework for Closed Frequent Itemsets Mining. - Imen Ouled Dlala; Saïd Jabbour; Badran Raddaoui; Lakhdar Sais (CP, 2018)

On Maximal Frequent Itemsets Mining with Constraints. - Saïd Jabbour; Fatima Ezzahra Mana; Imen Ouled Dlala; Badran Raddaoui; Lakhdar Sais (CP, 2018)

Pushing the Envelope in Overlapping Communities Detection. - Saïd Jabbour; Nizar Mhadhbi; Badran Raddaoui; Lakhdar Sais (IDA, 2018)

Efficient SAT-Based Encodings of Conditional Cardinality Constraints. - Abdelhamid Boudane; Saïd Jabbour; Badran Raddaoui; Lakhdar Sais (LPAR, 2018)

Efficient Encodings of Conditional Cardinality Constraints. - Abdelhamid Boudane; Saïd Jabbour; Badran Raddaoui; Lakhdar Sais (CoRR, 2018)

SAT-Based Data Mining. - Abdelhamid Boudane; Saïd Jabbour; Lakhdar Sais; Yakoub Salhi (Int. J. Artif. Intell. Tools, 2018)

Revisiting the Learned Clauses Database Reduction Strategies. - Saïd Jabbour; Jerry Lonlac; Lakhdar Saïs; Yakoub Salhi (Int. J. Artif. Intell. Tools, 2018)

Towards a Prudent Argumentation Framework for Reasoning with Imperfect Ontologies. - Saïd Jabbour; Yue Ma 009; Badran Raddaoui (Description Logics, 2019)

Représentations compactes des graphes et contraintes pseudo booléennes. - Saïd Jabbour; Nizar Mhadhbi; Badran Raddaoui; Lakhdar Sais (EGC, 2019)

Mining Gradual Itemsets Using Sequential Pattern Mining. - Saïd Jabbour; Jerry Lonlac; Lakhdar Saïs (FUZZ-IEEE, 2019)

Handling Disagreement in Ontologies-Based Reasoning via Argumentation. - Saïd Jabbour; Yue Ma 009; Badran Raddaoui (WISE, 2019)

Extracting Frequent Gradual Patterns Using Constraints Modeling. - Jerry Lonlac; Saïd Jabbour; Engelbert Mephu Nguifo; Lakhdar Saïs; Badran Raddaoui (CoRR, 2019)

A SAT-Based Approach for Mining High Utility Itemsets from Transaction Databases. - Amel Hidouri; Saïd Jabbour; Badran Raddaoui; Boutheina Ben Yaghlane (DaWaK, 2020)

On the Enumeration of Association Rules: A Decomposition-based Approach. - Yacine Izza; Saïd Jabbour; Badran Raddaoui; Abdelhamid Boudane (IJCAI, 2020)

SAT-based models for overlapping community detection in networks. - Saïd Jabbour; Nizar Mhadhbi; Badran Raddaoui; Lakhdar Sais (Computing, 2020)

Cloud service composition using minimal unsatisfiability and genetic algorithm. - Abderrahim Ait Wakrime; Mouna Rekik 001; Saïd Jabbour (Concurr. Comput. Pract. Exp., 2020)

A MaxSAT based approach for QoS cloud services. - Abderrahim Ait Wakrime; Saïd Jabbour; Nabil Hameurlain (Int. J. Parallel Emergent Distributed Syst., 2020)

On Minimal and Maximal High Utility Itemsets Mining using Propositional Satisfiability. - Amel Hidouri; Saïd Jabbour; Imen Ouled Dlala; Badran Raddaoui (IEEE BigData, 2021)

Towards a Compact SAT-Based Encoding of Itemset Mining Tasks. - Ikram Nekkache; Saïd Jabbour; Lakhdar Sais; Nadjet Kamel (CPAIOR, 2021)

A Declarative Framework for Mining Top-k High Utility Itemsets. - Amel Hidouri; Saïd Jabbour; Badran Raddaoui; Mouna Chebbah; Boutheina Ben Yaghlane (DaWaK, 2021)

A Constraint-based Approach for Enumerating Gradual Itemsets. - Amel Hidouri; Saïd Jabbour; Jerry Lonlac; Badran Raddaoui (ICTAI, 2021)

Mining Closed High Utility Itemsets based on Propositional Satisfiability. - Amel Hidouri; Saïd Jabbour; Badran Raddaoui; Boutheina Ben Yaghlane (Data Knowl. Eng., 2021)

A Distributed SAT-Based Framework for Closed Frequent Itemset Mining. - Julien Martin-Prin; Imen Ouled Dlala; Nicolas Travers; Saïd Jabbour (ADMA (2), 2022)

A Declarative Framework for Maximal k-plex Enumeration Problems. - Saïd Jabbour; Nizar Mhadhbi; Badran Raddaoui; Lakhdar Sais (AAMAS, 2022)

On the Enumeration of Frequent High Utility Itemsets: A Symbolic AI Approach. - Amel Hidouri; Saïd Jabbour; Badran Raddaoui (CP, 2022)

Discovering Overlapping Communities Based on Cohesive Subgraph Models over Graph Data. - Saïd Jabbour; Mourad Kmimech; Badran Raddaoui (DaWaK, 2022)

A Parallel Declarative Framework for Mining High Utility Itemsets. - Amel Hidouri; Saïd Jabbour; Badran Raddaoui; Mouna Chebbah; Boutheina Ben Yaghlane (IPMU (2), 2022)

A Framework for Reasoning About Uncertainty in Ontologies. - Saïd Jabbour; Yue Ma 009; Badran Raddaoui (IEEE Intell. Syst., 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)

Towards Novel Inference Relations based on Logical Argumentation. - Saïd Jabbour; Yue Ma 009; Badran Raddaoui (AI³@AI*IA, 2023)

Extracting Frequent Gradual Patterns Based on SAT. - Jerry Lonlac; Imen Ouled Dlala; Saïd Jabbour; Engelbert Mephu Nguifo; Badran Raddaoui; Lakhdar Sais (DATA, 2023)

A Non-overlapping Community Detection Approach Based on α-Structural Similarity. - Motaz Ben Hassine; Saïd Jabbour; Mourad Kmimech; Badran Raddaoui; Mohamed Graiet (DaWaK, 2023)

Classification with Explanation for Human Trafficking Networks. - David Ing; Fabien Delorme; Saïd Jabbour; Nelly Robin; Lakhdar Sais (DSAA, 2023)

Towards a Unified Symbolic AI Framework for Mining High Utility Itemsets. - Amel Hidouri; Badran Raddaoui; Saïd Jabbour (iiWAS, 2023)

Targeting Minimal Rare Itemsets from Transaction Databases. - Amel Hidouri; Badran Raddaoui; Saïd Jabbour (IJCAI, 2023)

A Symbolic Approach to Computing Disjunctive Association Rules from Data. - Saïd Jabbour; Badran Raddaoui; Lakhdar Sais (IJCAI, 2023)

A Comparative Study of Ranking Formulas Based on Consistency. - Badran Raddaoui; Christian Straßer; Saïd Jabbour (IJCAI, 2023)

Corrigendum to "Mining Closed High Utility Itemsets based on Propositional Satisfiability" [Data Knowl. Eng. 136C (2021) 101927]. - Amel Hidouri; Saïd Jabbour; Badran Raddaoui; Boutheina Ben Yaghlane (Data Knowl. Eng., 2023)

Towards a Principle-based Framework for Repair Selection in Inconsistent Knowledge Bases. - Saïd Jabbour; Yue Ma 009; Badran Raddaoui (AAMAS, 2024)

A Principle-based Framework for Repair Selection in Inconsistent Ontologies (Extended Abstract). - Saïd Jabbour; Yue Ma 009; Badran Raddaoui (Description Logics, 2024)

On the Discovery of Conceptual Clustering Models Through Pattern Mining. - Motaz Ben Hassine; Saïd Jabbour; Mourad Kmimech; Badran Raddaoui; Mohamed Graiet (ECAI, 2024)

Enumération des itemsets rares minimaux à partir des bases de données transactionnelles. - Amel Hidouri; Badran Raddaoui; Saïd Jabbour (EGC, 2024)

On the Learning of Explainable Classification Rules through Disjunctive Patterns. - Amel Hidouri; Saïd Jabbour; Badran Raddaoui; Ahmed Samet (ICTAI, 2024)

Towards a Principle-based Framework for Assessing the Contribution of Formulas on the Conflicts of Knowledge Bases. - Badran Raddaoui; Christian Straßer; Saïd Jabbour (IJCAI, 2024)

LAD-based Feature Selection for Optimal Decision Trees and Other Classifiers. - David Ing; Saïd Jabbour; Lakhdar Sais; Fabien Delorme (KR, 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., 2024)

Une approche de clustering conceptuel via des k-motifs relaxés fréquents. - Motaz Ben Hassine; Saïd Jabbour; Mourad Kmimech; Badran Raddaoui; Mohamed Graiet (EGC, 2025)

Approche fondée sur les motifs disjonctifs pour l'apprentissage des règles de classification. - Amel Hidouri; Saïd Jabbour; Badran Raddaoui; Ahmed Samet (EGC, 2025)