Lakhdar Sais

ORCID

Publication Activity (10 Years)

Years Active: 1992-2024
Publications (10 Years): 41

Top Venues

Publications

Asma Douadi, Nadjet Kamel, Lakhdar Sais
Label propagation algorithm for community discovery based on centrality and common neighbours. J. Supercomput. 80 (8) (2024)
Wafaa Rajaa Drioua, Nacéra Benamrane, Lakhdar Sais
Breast Cancer Histopathological Images Segmentation Using Deep Learning. Sensors 23 (17) (2023)
Saïd Jabbour, Badran Raddaoui, Lakhdar Sais
A Symbolic Approach to Computing Disjunctive Association Rules from Data. IJCAI (2023)
David Ing, Fabien Delorme, Saïd Jabbour, Nelly Robin, Lakhdar Sais
Classification with Explanation for Human Trafficking Networks. DSAA (2023)
Jerry Lonlac, Imen Ouled Dlala, Saïd Jabbour, Engelbert Mephu Nguifo, Badran Raddaoui, Lakhdar Sais
Extracting Frequent Gradual Patterns Based on SAT. DATA (2023)
Ikram Nekkache, Saïd Jabbour, Nadjet Kamel, Lakhdar Sais
Detecting and exploiting symmetries in sequential pattern mining. Int. J. Data Min. Model. Manag. 14 (4) (2022)
Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais
-plex Enumeration Problems. AAMAS (2022)
Wafaa Rajaa Drioua, Nacéra Benamrane, Lakhdar Sais
Breast Cancer Detection from Histopathology Images Based on YOLOv5. ICFSP (2022)
Ikram Nekkache, Saïd Jabbour, Lakhdar Sais, Nadjet Kamel
Towards a Compact SAT-Based Encoding of Itemset Mining Tasks. CPAIOR (2021)
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. Comput. Oper. Res. 125 (2021)
Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais
SAT-based models for overlapping community detection in networks. Computing 102 (5) (2020)
Kahina Bouchama, Arnaud Lallouet, Mohammed Said Radjef, Lakhdar Sais
Solving a Potential Clustering Game. Int. J. Artif. Intell. Tools 28 (2) (2019)
Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais
Représentations compactes des graphes et contraintes pseudo booléennes. EGC (2019)
Abdelhamid Boudane, Saïd Jabbour, Lakhdar Sais, Yakoub Salhi
SAT-Based Data Mining. Int. J. Artif. Intell. Tools 27 (1) (2018)
Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais
Pushing the Envelope in Overlapping Communities Detection. IDA (2018)
Saïd Jabbour, Fatima Ezzahra Mana, Imen Ouled Dlala, Badran Raddaoui, Lakhdar Sais
On Maximal Frequent Itemsets Mining with Constraints. CP (2018)
Abdelhamid Boudane, Saïd Jabbour, Badran Raddaoui, Lakhdar Sais
Efficient SAT-Based Encodings of Conditional Cardinality Constraints. LPAR (2018)
Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais
Triangle-Driven Community Detection in Large Graphs Using Propositional Satisfiability. AINA (2018)
Imen Ouled Dlala, Saïd Jabbour, Badran Raddaoui, Lakhdar Sais
A Parallel SAT-Based Framework for Closed Frequent Itemsets Mining. CP (2018)
Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais
Detecting Highly Overlapping Community Structure by Model-based Maximal Clique Expansion. IEEE BigData (2018)
Abdelhamid Boudane, Saïd Jabbour, Badran Raddaoui, Lakhdar Sais
Efficient Encodings of Conditional Cardinality Constraints. CoRR (2018)
Saïd Jabbour, Fatima Zahra Mana, Lakhdar Sais
On Maximal Frequent Itemsets Enumeration. SoCPaR (2017)
Yazid Boumarafi, Lakhdar Sais, Yakoub Salhi
From SAT to Maximum Independent Set: A New Approach to Characterize Tractable Classes. LPAR (2017)
Mohamed Baghdadi, Nacéra Benamrane, Lakhdar Sais
Fuzzy generalized fast marching method for 3D segmentation of brain structures. Int. J. Imaging Syst. Technol. 27 (3) (2017)
Abdelhamid Boudane, Saïd Jabbour, Lakhdar Sais, Yakoub Salhi
Enumerating Non-redundant Association Rules Using Satisfiability. PAKDD (1) (2017)
Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais
A SAT-Based Framework for Overlapping Community Detection in Networks. PAKDD (2) (2017)
Abdelhamid Boudane, Saïd Jabbour, Lakhdar Sais, Yakoub Salhi
Une approche logique pour la fouille de règles d'association. EGC (2017)
Soukaina Hattad, Saïd Jabbour, Lakhdar Sais, Yakoub Salhi
Enhancing Pigeon-Hole based Encoding of Boolean Cardinality Constraints. ICAART (2) (2017)
Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais
Finding Overlapping Communities in Networks Using Propositional Satisfiability. EDA (2017)
Saïd Jabbour, Lakhdar Sais, Yakoub Salhi
Mining Top-k motifs with a SAT-based framework. Artif. Intell. 244 (2017)
Saïd Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais
Quantifying conflicts in propositional logic through prime implicates. Int. J. Approx. Reason. 89 (2017)
Abdelhamid Boudane, Saïd Jabbour, Lakhdar Sais, Yakoub Salhi
Clustering Complex Data Represented as Propositional Formulas. PAKDD (2) (2017)
Saïd Jabbour, Badran Raddaoui, Lakhdar Sais, Yakoub Salhi
On the Computation of Top-k Extensions in Abstract Argumentation Frameworks. ECAI (2016)
Abdelhamid Boudane, Saïd Jabbour, Lakhdar Sais, Yakoub Salhi
A SAT-Based Approach for Mining Association Rules. IJCAI (2016)
Saïd Jabbour, Nizar Mhadhbi, Abdesattar Mhadhbi, Badran Raddaoui, Lakhdar Sais
Summarizing big graphs by means of pseudo-boolean constraints. IEEE BigData (2016)
Saïd Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais, Yakoub Salhi
A MIS Partition Based Framework for Measuring Inconsistency. KR (2016)
Imen Ouled Dlala, Saïd Jabbour, Badran Raddaoui, Lakhdar Sais, Boutheina Ben Yaghlane
A SAT-Based Approach for Enumerating Interesting Patterns from Uncertain Data. ICTAI (2016)
Saïd Jabbour, Lakhdar Sais
Exploiting MUS Structure to Measure Inconsistency of Knowledge Bases. ECAI (2016)
Saïd Jabbour, Badran Raddaoui, Lakhdar Sais
Knowledge Base Compilation for Inconsistency Measures. ICAART (2) (2016)
Saïd Jabbour, Souhila Kaci, Lakhdar Sais, Yakoub Salhi
Itemset Mining with Penalties. ICTAI (2016)
Kahina Bouchama, Mohammed Said Radjef, Lakhdar Sais
Z-Equilibrium For a CSP Game. ISAIM (2016)
Saïd Jabbour, Lakhdar Sais, Yakoub Salhi
On SAT Models Enumeration in Itemset Mining. CoRR (2015)
Imen Ouled Dlala, Saïd Jabbour, Lakhdar Sais, Yakoub Salhi, Boutheina Ben Yaghlane
Parallel SAT based closed frequent itemsets enumeration. AICCSA (2015)
Saïd Jabbour, Stéphanie Roussel, Lakhdar Sais, Yakoub Salhi
Mining to Compress Table Constraints. ICTAI (2015)
Saïd Jabbour, Badran Raddaoui, Lakhdar Sais
Inconsistency-based Ranking of Knowledge Bases. ICAART (2) (2015)
Saïd Jabbour, Lakhdar Sais, Yakoub Salhi
Decomposition Based SAT Encodings for Itemset Mining Problems. PAKDD (2) (2015)
Saïd Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais, Yakoub Salhi
On Structure-Based Inconsistency Measures and Their Computations via Closed Set Packing. AAMAS (2015)
Belaïd Benhamou, Saïd Jabbour, Lakhdar Sais, Yakoub Salhi
A Generic and Declarative Method for Symmetry Breaking in Itemset Mining. IC3K (Selected Papers) (2014)
Saïd Jabbour, João Marques-Silva, Lakhdar Sais, Yakoub Salhi
Enumerating Prime Implicants of Propositional Formulae in Conjunctive Normal Form. JELIA (2014)
Saïd Jabbour, Jerry Lonlac, Lakhdar Sais, Yakoub Salhi
Revisiting the Learned Clauses Database Reduction Strategies. CoRR (2014)
Long Guo, Saïd Jabbour, Jerry Lonlac, Lakhdar Sais
Diversification by Clauses Deletion Strategies in Portfolio Parallel SAT Solving. ICTAI (2014)
Saïd Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais, Yakoub Salhi
On the measure of conflicts: A MUS-Decomposition Based Framework. CoRR (2014)
Saïd Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais
Prime Implicates Based Inconsistency Characterization. ECAI (2014)
Saïd Jabbour, Jerry Lonlac, Lakhdar Sais, Yakoub Salhi
Extending modern SAT solvers for models enumeration. IRI (2014)
Saïd Jabbour, Mehdi Khiari, Lakhdar Sais, Yakoub Salhi, Karim Tabia
Symétries et Extraction de Motifs Ensemblistes. EGC (2014)
Belaïd Benhamou, Saïd Jabbour, Lakhdar Sais, Yakoub Salhi
Symmetry Breaking in Itemset Mining. KDIR (2014)
Balasim Al-Saedi, Éric Grégoire, Bertrand Mazure, Lakhdar Sais
Extensions and Variants of Dalal's Quad Polynomial Fragments of SAT. ICTAI (2014)
Saïd Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais
On the Characterization of Inconsistency: A Prime Implicates Based Framework. ICTAI (2014)
Saïd Jabbour, Lakhdar Sais, Yakoub Salhi
A Pigeon-Hole Based Encoding of Cardinality Constraints. Theory Pract. Log. Program. 13 (4-5-Online-Supplement) (2013)
Saïd Jabbour, Lakhdar Sais, Yakoub Salhi
Mining to Compact CNF Propositional Formulae CoRR (2013)
Saïd Jabbour, Lakhdar Sais, Yakoub Salhi
A Mining-Based Compression Approach for Constraint Satisfaction Problems CoRR (2013)
Saïd Jabbour, Mehdi Khiari, Lakhdar Sais, Yakoub Salhi, Karim Tabia
Symmetry-Based Pruning in Itemset Mining. ICTAI (2013)
Saïd Jabbour, Lakhdar Sais, Yakoub Salhi, Takeaki Uno
Mining-based compression approach of propositional formulae. CIKM (2013)
Saïd Jabbour, Lakhdar Sais, Yakoub Salhi
Boolean satisfiability for sequence mining. CIKM (2013)
Saïd Jabbour, Lakhdar Sais, Yakoub Salhi
The Top-k Frequent Closed Itemset Mining Using Top-k SAT Problem. ECML/PKDD (3) (2013)
Saïd Jabbour, Lakhdar Sais, Yakoub Salhi, Karim Tabia
Symmetries in Itemset Mining. ECAI (2012)
Saïd Jabbour, Jerry Lonlac, Lakhdar Sais
Extending Resolution by Dynamic Substitution of Boolean Functions. ICTAI (2012)
Saïd Jabbour, Lakhdar Sais
Symétries et QBF. Rev. d'Intelligence Artif. 26 (1-2) (2012)
Youssef Hamadi, Saïd Jabbour, Lakhdar Sais
Learning from conflicts in propositional satisfiability. 4OR 10 (1) (2012)
Yakoub Salhi, Saïd Jabbour, Lakhdar Sais
Graded Modal Logic GS5 and Itemset Support Satisfiability. ISIP (2012)
Emmanuel Coquery, Saïd Jabbour, Lakhdar Sais
A Constraint Programming Approach for Enumerating Motifs in a Sequence. ICDM Workshops (2011)
Youssef Hamadi, Saïd Jabbour, Cédric Piette, Lakhdar Sais
Deterministic Parallel DPLL. J. Satisf. Boolean Model. Comput. 7 (4) (2011)
Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Sais
On Freezing and Reactivating Learnt Clauses. SAT (2011)
Lakhdar Sais
Portfolio-based Parallel SAT solving. HPCS (2010)
Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Sais
Boosting Local Search Thanks to cdcl. LPAR (Yogyakarta) (2010)
Long Guo, Youssef Hamadi, Saïd Jabbour, Lakhdar Sais
Diversification and Intensification in Parallel SAT Solving. CP (2010)
Mohamed Baghdadi, Nacéra Benamrane, Lakhdar Sais
Segmentation of 3D Brain Structures Using the Bayesian Generalized Fast Marching Method. Brain Informatics (2010)
Youssef Hamadi, Saïd Jabbour, Lakhdar Sais
Learning for Dynamic Subsumption. Int. J. Artif. Intell. Tools 19 (4) (2010)
Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Sais
Learning in Local Search. ICTAI (2009)
Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal
Reasoning from last conflict(s) in constraint programming. Artif. Intell. 173 (18) (2009)
Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Sais
Integrating Conflict Driven Clause Learning to Local Search LSCS (2009)
Youssef Hamadi, Saïd Jabbour, Lakhdar Sais
Learning for Dynamic Subsumption. ICTAI (2009)
Cédric Piette, Youssef Hamadi, Lakhdar Sais
Efficient Combination of Decision Procedures for MUS Computation. FroCoS (2009)
Youssef Hamadi, Saïd Jabbour, Lakhdar Sais
Control-Based Clause Sharing in Parallel SAT Solving. IJCAI (2009)
Dominique D'Almeida, Lakhdar Sais
Enhancing Neighbourhood Substitutability Thanks to Singleton Arc Consistency. ICTAI (2009)
Youssef Hamadi, Saïd Jabbour, Lakhdar Sais
Learning for Dynamic subsumption CoRR (2009)
Youssef Hamadi, Saïd Jabbour, Lakhdar Sais
ManySAT: a Parallel SAT Solver. J. Satisf. Boolean Model. Comput. 6 (4) (2009)
Éric Grégoire, Bertrand Mazure, Lakhdar Sais
Local Autarkies Searching for the Dynamic Partition of CNF Formulae. ICTAI (2009)
Assef Chmeiss, Vincent Krawczyk, Lakhdar Sais
Redundancy in CSPs. ECAI (2008)
Cédric Piette, Youssef Hamadi, Lakhdar Sais
Vivifying Propositional Clausal Formulae. ECAI (2008)
Gilles Audemard, Saïd Jabbour, Lakhdar Sais
SAT graph-based representation: A new perspective. J. Algorithms 63 (1-3) (2008)
Gilles Audemard, Lucas Bordeaux, Youssef Hamadi, Saïd Jabbour, Lakhdar Sais
A Generalized Framework for Conflict Analysis. SAT (2008)
Olivier Fourdrinoy, Éric Grégoire, Bertrand Mazure, Lakhdar Sais
Reducing hard SAT instances to polynomial ones. IRI (2007)
Assef Chmeiss, Vincent Krawczyk, Lakhdar Sais
Light Integration of Path Consistency for Solving CSPs. ICTAI (1) (2007)
Olivier Fourdrinoy, Éric Grégoire, Bertrand Mazure, Lakhdar Sais
Eliminating Redundant Clauses in SAT Instances. CPAIOR (2007)
Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal
Exploiting Past and Future: Pruning by Inconsistent Partial State Dominance. CP (2007)
Lionel Paris, Richard Ostrowski, Pierre Siegel, Lakhdar Sais
From Horn Strong Backdoor Sets to Ordered Strong Backdoor Sets. MICAI (2007)
Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal
Transposition Tables for Constraint Satisfaction. AAAI (2007)
Gilles Audemard, Lakhdar Sais
Circuit Based Encoding of CNF Formula. SAT (2007)
Gilles Audemard, Saïd Jabbour, Lakhdar Sais
Symmetry Breaking in Quantified Boolean Formulae. IJCAI (2007)

Lakhdar Sais.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Lakhdar Sais