Lakhdar Sais - RankMe

142 papers A* 8A 30B 25C 3Misc 6Journal 33Unranked 35

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Incremental Similarity-Based Label Propagation Algorithm for Dynamic Community Detection. Concurr. Comput. Pract. Exp. Asma Douadi, Nadjet Kamel, Lakhdar Sais
2025	J	`jnl`	Solving the open-end bin packing problem with incompatibility constraints. Int. J. Gen. Syst. Mohamed Maiza, Lakhdar Sais
2025	—	`conf`	Text Mining from Migration Narratives. ECML/PKDD (8) David Ing, Fabien Delorme, Saïd Jabbour, Nelly Robin, Lakhdar Sais
2024	A*	`conf`	LAD-based Feature Selection for Optimal Decision Trees and Other Classifiers. KR David Ing, Saïd Jabbour, Lakhdar Sais, Fabien Delorme
2024	J	`jnl`	Label propagation algorithm for community discovery based on centrality and common neighbours. J. Supercomput. Asma Douadi, Nadjet Kamel, Lakhdar Sais
2023	A*	`conf`	A Symbolic Approach to Computing Disjunctive Association Rules from Data. IJCAI Saïd Jabbour, Badran Raddaoui, Lakhdar Sais
2023	J	`jnl`	Breast Cancer Histopathological Images Segmentation Using Deep Learning. Sensors Wafaa Rajaa Drioua, Nacéra Benamrane, Lakhdar Sais
2023	B	`conf`	Classification with Explanation for Human Trafficking Networks. DSAA David Ing, Fabien Delorme, Saïd Jabbour, Nelly Robin, Lakhdar Sais
2023	C	`conf`	Extracting Frequent Gradual Patterns Based on SAT. DATA Jerry Lonlac, Imen Ouled Dlala, Saïd Jabbour, Engelbert Mephu Nguifo, Badran Raddaoui, Lakhdar Sais
2022	A	`conf`	A Declarative Framework for Maximal AAMAS Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais
2022	—	`conf`	Breast Cancer Detection from Histopathology Images Based on YOLOv5. ICFSP Wafaa Rajaa Drioua, Nacéra Benamrane, Lakhdar Sais
2022	J	`jnl`	Detecting and exploiting symmetries in sequential pattern mining. Int. J. Data Min. Model. Manag. Ikram Nekkache, Saïd Jabbour, Nadjet Kamel, Lakhdar Sais
2021	J	`jnl`	A Bayesian Monte Carlo method for computing the Shapley value: Application to weighted voting and bin packing games. Comput. Oper. Res. Sofiane Touati, Mohammed Said Radjef, Lakhdar Sais
2021	B	`conf`	Towards a Compact SAT-Based Encoding of Itemset Mining Tasks. CPAIOR Ikram Nekkache, Saïd Jabbour, Lakhdar Sais, Nadjet Kamel
2020	J	`jnl`	SAT-based models for overlapping community detection in networks. Computing Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais
2019	—	`conf`	Représentations compactes des graphes et contraintes pseudo booléennes. EGC Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais
2019	J	`jnl`	Solving a Potential Clustering Game. Int. J. Artif. Intell. Tools Kahina Bouchama, Arnaud Lallouet, Mohammed Said Radjef, Lakhdar Sais
2018	A	`conf`	A Parallel SAT-Based Framework for Closed Frequent Itemsets Mining. CP Imen Ouled Dlala, Saïd Jabbour, Badran Raddaoui, Lakhdar Sais
2018	—	`conf`	Detecting Highly Overlapping Community Structure by Model-based Maximal Clique Expansion. IEEE BigData Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais
2018	J	`jnl`	Efficient Encodings of Conditional Cardinality Constraints. CoRR Abdelhamid Boudane, Saïd Jabbour, Badran Raddaoui, Lakhdar Sais
2018	B	`conf`	Efficient SAT-Based Encodings of Conditional Cardinality Constraints. LPAR Abdelhamid Boudane, Saïd Jabbour, Badran Raddaoui, Lakhdar Sais
2018	—	`book`	Handbook of Parallel Constraint Reasoning. Youssef Hamadi, Lakhdar Sais
2018	A	`conf`	On Maximal Frequent Itemsets Mining with Constraints. CP Saïd Jabbour, Fatima Ezzahra Mana, Imen Ouled Dlala, Badran Raddaoui, Lakhdar Sais
2018	B	`conf`	Pushing the Envelope in Overlapping Communities Detection. IDA Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais
2018	J	`jnl`	SAT-Based Data Mining. Int. J. Artif. Intell. Tools Abdelhamid Boudane, Saïd Jabbour, Lakhdar Sais, Yakoub Salhi
2018	B	`conf`	Triangle-Driven Community Detection in Large Graphs Using Propositional Satisfiability. AINA Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais
2017	—	`conf`	A SAT-Based Framework for Overlapping Community Detection in Networks. PAKDD (2) Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais
2017	—	`conf`	Clustering Complex Data Represented as Propositional Formulas. PAKDD (2) Abdelhamid Boudane, Saïd Jabbour, Lakhdar Sais, Yakoub Salhi
2017	—	`conf`	Enhancing Pigeon-Hole based Encoding of Boolean Cardinality Constraints. ICAART (2) Soukaina Hattad, Saïd Jabbour, Lakhdar Sais, Yakoub Salhi
2017	—	`conf`	Enumerating Non-redundant Association Rules Using Satisfiability. PAKDD (1) Abdelhamid Boudane, Saïd Jabbour, Lakhdar Sais, Yakoub Salhi
2017	—	`conf`	Finding Overlapping Communities in Networks Using Propositional Satisfiability. EDA Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais
2017	B	`conf`	From SAT to Maximum Independent Set: A New Approach to Characterize Tractable Classes. LPAR Yazid Boumarafi, Lakhdar Sais, Yakoub Salhi
2017	J	`jnl`	Fuzzy generalized fast marching method for 3D segmentation of brain structures. Int. J. Imaging Syst. Technol. Mohamed Baghdadi, Nacéra Benamrane, Lakhdar Sais
2017	J	`jnl`	Mining Top-k motifs with a SAT-based framework. Artif. Intell. Saïd Jabbour, Lakhdar Sais, Yakoub Salhi
2017	—	`conf`	On Maximal Frequent Itemsets Enumeration. SoCPaR Saïd Jabbour, Fatima Zahra Mana, Lakhdar Sais
2017	J	`jnl`	Quantifying conflicts in propositional logic through prime implicates. Int. J. Approx. Reason. Saïd Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais
2017	—	`conf`	Une approche logique pour la fouille de règles d'association. EGC Abdelhamid Boudane, Saïd Jabbour, Lakhdar Sais, Yakoub Salhi
2016	A*	`conf`	A MIS Partition Based Framework for Measuring Inconsistency. KR Saïd Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais, Yakoub Salhi
2016	B	`conf`	A SAT-Based Approach for Enumerating Interesting Patterns from Uncertain Data. ICTAI Imen Ouled Dlala, Saïd Jabbour, Badran Raddaoui, Lakhdar Sais, Boutheina Ben Yaghlane
2016	A*	`conf`	A SAT-Based Approach for Mining Association Rules. IJCAI Abdelhamid Boudane, Saïd Jabbour, Lakhdar Sais, Yakoub Salhi
2016	A	`conf`	Exploiting MUS Structure to Measure Inconsistency of Knowledge Bases. ECAI Saïd Jabbour, Lakhdar Sais
2016	B	`conf`	Itemset Mining with Penalties. ICTAI Saïd Jabbour, Souhila Kaci, Lakhdar Sais, Yakoub Salhi
2016	—	`conf`	Knowledge Base Compilation for Inconsistency Measures. ICAART (2) Saïd Jabbour, Badran Raddaoui, Lakhdar Sais
2016	A	`conf`	On the Computation of Top-k Extensions in Abstract Argumentation Frameworks. ECAI Saïd Jabbour, Badran Raddaoui, Lakhdar Sais, Yakoub Salhi
2016	—	`conf`	Summarizing big graphs by means of pseudo-boolean constraints. IEEE BigData Saïd Jabbour, Nizar Mhadhbi, Abdesattar Mhadhbi, Badran Raddaoui, Lakhdar Sais
2016	Misc	`conf`	Z-Equilibrium For a CSP Game. ISAIM Kahina Bouchama, Mohammed Said Radjef, Lakhdar Sais
2015	—	`conf`	Decomposition Based SAT Encodings for Itemset Mining Problems. PAKDD (2) Saïd Jabbour, Lakhdar Sais, Yakoub Salhi
2015	—	`conf`	Inconsistency-based Ranking of Knowledge Bases. ICAART (2) Saïd Jabbour, Badran Raddaoui, Lakhdar Sais
2015	B	`conf`	Mining to Compress Table Constraints. ICTAI Saïd Jabbour, Stéphanie Roussel, Lakhdar Sais, Yakoub Salhi
2015	J	`jnl`	On SAT Models Enumeration in Itemset Mining. CoRR Saïd Jabbour, Lakhdar Sais, Yakoub Salhi
2015	A	`conf`	On Structure-Based Inconsistency Measures and Their Computations via Closed Set Packing. AAMAS Saïd Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais, Yakoub Salhi
2015	C	`conf`	Parallel SAT based closed frequent itemsets enumeration. AICCSA Imen Ouled Dlala, Saïd Jabbour, Lakhdar Sais, Yakoub Salhi, Boutheina Ben Yaghlane
2014	—	`conf`	A Generic and Declarative Method for Symmetry Breaking in Itemset Mining. IC3K (Selected Papers) Belaïd Benhamou, Saïd Jabbour, Lakhdar Sais, Yakoub Salhi
2014	B	`conf`	Diversification by Clauses Deletion Strategies in Portfolio Parallel SAT Solving. ICTAI Long Guo, Saïd Jabbour, Jerry Lonlac, Lakhdar Sais
2014	B	`conf`	Enumerating Prime Implicants of Propositional Formulae in Conjunctive Normal Form. JELIA Saïd Jabbour, João Marques-Silva, Lakhdar Sais, Yakoub Salhi
2014	Misc	`conf`	Extending modern SAT solvers for models enumeration. IRI Saïd Jabbour, Jerry Lonlac, Lakhdar Sais, Yakoub Salhi
2014	B	`conf`	Extensions and Variants of Dalal's Quad Polynomial Fragments of SAT. ICTAI Balasim Al-Saedi, Éric Grégoire, Bertrand Mazure, Lakhdar Sais
2014	B	`conf`	On the Characterization of Inconsistency: A Prime Implicates Based Framework. ICTAI Saïd Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais
2014	J	`jnl`	On the measure of conflicts: A MUS-Decomposition Based Framework. CoRR Saïd Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais, Yakoub Salhi
2014	A	`conf`	Prime Implicates Based Inconsistency Characterization. ECAI Saïd Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais
2014	J	`jnl`	Revisiting the Learned Clauses Database Reduction Strategies. CoRR Saïd Jabbour, Jerry Lonlac, Lakhdar Sais, Yakoub Salhi
2014	—	`conf`	Symmetry Breaking in Itemset Mining. KDIR Belaïd Benhamou, Saïd Jabbour, Lakhdar Sais, Yakoub Salhi
2014	—	`conf`	Symétries et Extraction de Motifs Ensemblistes. EGC Saïd Jabbour, Mehdi Khiari, Lakhdar Sais, Yakoub Salhi, Karim Tabia
2013	J	`jnl`	A Mining-Based Compression Approach for Constraint Satisfaction Problems CoRR Saïd Jabbour, Lakhdar Sais, Yakoub Salhi
2013	J	`jnl`	A Pigeon-Hole Based Encoding of Cardinality Constraints. Theory Pract. Log. Program. Saïd Jabbour, Lakhdar Sais, Yakoub Salhi
2013	A	`conf`	Boolean satisfiability for sequence mining. CIKM Saïd Jabbour, Lakhdar Sais, Yakoub Salhi
2013	J	`jnl`	Mining to Compact CNF Propositional Formulae CoRR Saïd Jabbour, Lakhdar Sais, Yakoub Salhi
2013	A	`conf`	Mining-based compression approach of propositional formulae. CIKM Saïd Jabbour, Lakhdar Sais, Yakoub Salhi, Takeaki Uno
2013	B	`conf`	Symmetry-Based Pruning in Itemset Mining. ICTAI Saïd Jabbour, Mehdi Khiari, Lakhdar Sais, Yakoub Salhi, Karim Tabia
2013	—	`conf`	The Top-k Frequent Closed Itemset Mining Using Top-k SAT Problem. ECML/PKDD (3) Saïd Jabbour, Lakhdar Sais, Yakoub Salhi
2012	—	`ch.`	Control-Based Clause Sharing in Parallel SAT Solving. Autonomous Search Youssef Hamadi, Saïd Jabbour, Lakhdar Sais
2012	B	`conf`	Extending Resolution by Dynamic Substitution of Boolean Functions. ICTAI Saïd Jabbour, Jerry Lonlac, Lakhdar Sais
2012	—	`conf`	Graded Modal Logic GS5 and Itemset Support Satisfiability. ISIP Yakoub Salhi, Saïd Jabbour, Lakhdar Sais
2012	J	`jnl`	Learning from conflicts in propositional satisfiability. 4OR Youssef Hamadi, Saïd Jabbour, Lakhdar Sais
2012	A	`conf`	Symmetries in Itemset Mining. ECAI Saïd Jabbour, Lakhdar Sais, Yakoub Salhi, Karim Tabia
2012	J	`jnl`	Symétries et QBF. Rev. d'Intelligence Artif. Saïd Jabbour, Lakhdar Sais
2011	—	`conf`	A Constraint Programming Approach for Enumerating Motifs in a Sequence. ICDM Workshops Emmanuel Coquery, Saïd Jabbour, Lakhdar Sais
2011	J	`jnl`	Deterministic Parallel DPLL. J. Satisf. Boolean Model. Comput. Youssef Hamadi, Saïd Jabbour, Cédric Piette, Lakhdar Sais
2011	A	`conf`	On Freezing and Reactivating Learnt Clauses. SAT Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Sais
2010	—	`conf`	Boosting Local Search Thanks to cdcl. LPAR (Yogyakarta) Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Sais
2010	A	`conf`	Diversification and Intensification in Parallel SAT Solving. CP Long Guo, Youssef Hamadi, Saïd Jabbour, Lakhdar Sais
2010	J	`jnl`	Learning for Dynamic Subsumption. Int. J. Artif. Intell. Tools Youssef Hamadi, Saïd Jabbour, Lakhdar Sais
2010	—	`conf`	Portfolio-based Parallel SAT solving. HPCS Lakhdar Sais
2010	—	`conf`	Segmentation of 3D Brain Structures Using the Bayesian Generalized Fast Marching Method. Brain Informatics Mohamed Baghdadi, Nacéra Benamrane, Lakhdar Sais
2009	A*	`conf`	Control-Based Clause Sharing in Parallel SAT Solving. IJCAI Youssef Hamadi, Saïd Jabbour, Lakhdar Sais
2009	—	`conf`	Efficient Combination of Decision Procedures for MUS Computation. FroCoS Cédric Piette, Youssef Hamadi, Lakhdar Sais
2009	B	`conf`	Enhancing Neighbourhood Substitutability Thanks to Singleton Arc Consistency. ICTAI Dominique D'Almeida, Lakhdar Sais
2009	—	`conf`	Integrating Conflict Driven Clause Learning to Local Search LSCS Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Sais
2009	B	`conf`	Learning for Dynamic Subsumption. ICTAI Youssef Hamadi, Saïd Jabbour, Lakhdar Sais
2009	J	`jnl`	Learning for Dynamic subsumption CoRR Youssef Hamadi, Saïd Jabbour, Lakhdar Sais
2009	B	`conf`	Learning in Local Search. ICTAI Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Sais
2009	B	`conf`	Local Autarkies Searching for the Dynamic Partition of CNF Formulae. ICTAI Éric Grégoire, Bertrand Mazure, Lakhdar Sais
2009	J	`jnl`	ManySAT: a Parallel SAT Solver. J. Satisf. Boolean Model. Comput. Youssef Hamadi, Saïd Jabbour, Lakhdar Sais
2009	J	`jnl`	Reasoning from last conflict(s) in constraint programming. Artif. Intell. Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal
2008	A	`conf`	A Generalized Framework for Conflict Analysis. SAT Gilles Audemard, Lucas Bordeaux, Youssef Hamadi, Saïd Jabbour, Lakhdar Sais
2008	A	`conf`	Redundancy in CSPs. ECAI Assef Chmeiss, Vincent Krawczyk, Lakhdar Sais
2008	J	`jnl`	SAT graph-based representation: A new perspective. J. Algorithms Gilles Audemard, Saïd Jabbour, Lakhdar Sais
2008	A	`conf`	Vivifying Propositional Clausal Formulae. ECAI Cédric Piette, Youssef Hamadi, Lakhdar Sais
2007	A	`conf`	Circuit Based Encoding of CNF Formula. SAT Gilles Audemard, Lakhdar Sais
2007	B	`conf`	Eliminating Redundant Clauses in SAT Instances. CPAIOR Olivier Fourdrinoy, Éric Grégoire, Bertrand Mazure, Lakhdar Sais
2007	A	`conf`	Exploiting Past and Future: Pruning by Inconsistent Partial State Dominance. CP Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal
2007	—	`conf`	From Horn Strong Backdoor Sets to Ordered Strong Backdoor Sets. MICAI Lionel Paris, Richard Ostrowski, Pierre Siegel, Lakhdar Sais
2007	—	`conf`	Light Integration of Path Consistency for Solving CSPs. ICTAI (1) Assef Chmeiss, Vincent Krawczyk, Lakhdar Sais
2007	A*	`conf`	Nogood Recording from Restarts. IJCAI Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal
2007	J	`jnl`	Recording and Minimizing Nogoods from Restarts. J. Satisf. Boolean Model. Comput. Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal
2007	Misc	`conf`	Reducing hard SAT instances to polynomial ones. IRI Olivier Fourdrinoy, Éric Grégoire, Bertrand Mazure, Lakhdar Sais
2007	—	`conf`	Relaxation of Qualitative Constraint Networks. SARA Dominique D'Almeida, Jean-François Condotta, Christophe Lecoutre, Lakhdar Sais
2007	A*	`conf`	Symmetry Breaking in Quantified Boolean Formulae. IJCAI Gilles Audemard, Saïd Jabbour, Lakhdar Sais
2007	A*	`conf`	Transposition Tables for Constraint Satisfaction. AAAI Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal
2007	J	`jnl`	Using SAT Encodings to Drive CSP Value Ordering Heuristics. J. Satisf. Boolean Model. Comput. Christophe Lecoutre, Lakhdar Sais, Julien Vion
2006	Misc	`conf`	A new heuristic-based albeit complete method to extract MUCs from unsatisfiable CSPs. IRI Éric Grégoire, Bertrand Mazure, Cédric Piette, Lakhdar Sais
2006	B	`conf`	Computing Horn Strong Backdoor Sets Thanks to Local Search. ICTAI Lionel Paris, Richard Ostrowski, Pierre Siegel, Lakhdar Sais
2006	A	`conf`	Extracting MUCs from Constraint Networks. ECAI Fred Hemery, Christophe Lecoutre, Lakhdar Sais, Frédéric Boussemart
2006	A	`conf`	Last Conflict Based Reasoning. ECAI Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal
2005	A	`conf`	A Symbolic Search Based Approach for Quantified Boolean Formulas. SAT Gilles Audemard, Lakhdar Sais
2005	A	`conf`	Using Boolean Constraint Propagation for Sub-clauses Deduction. CP Sylvain Darras, Gilles Dequen, Laure Devendeville, Bertrand Mazure, Richard Ostrowski, Lakhdar Sais
2004	A	`conf`	Automatic Extraction of Functional Dependencies. SAT Éric Grégoire, Richard Ostrowski, Bertrand Mazure, Lakhdar Sais
2004	—	`conf`	Automatic Extraction of Functional Dependencies. SAT (Selected Papers Éric Grégoire, Richard Ostrowski, Bertrand Mazure, Lakhdar Sais
2004	A	`conf`	Boosting Systematic Search by Weighting Constraints. ECAI Frédéric Boussemart, Fred Hemery, Christophe Lecoutre, Lakhdar Sais
2004	B	`conf`	Constraint Satisfaction Problems: Backtrack Search Revisited. ICTAI Assef Chmeiss, Lakhdar Sais
2004	A	`conf`	Dealing with Symmetries in Quantified Boolean Formulas. SAT Gilles Audemard, Bertrand Mazure, Lakhdar Sais
2004	B	`conf`	SAT Based BDD Solver for Quantified Boolean Formulas. ICTAI Gilles Audemard, Lakhdar Sais
2004	A	`conf`	Support Inference for Generic Filtering. CP Frédéric Boussemart, Fred Hemery, Christophe Lecoutre, Lakhdar Sais
2003	B	`conf`	Eliminating Redundancies in SAT Search Trees. ICTAI Richard Ostrowski, Bertrand Mazure, Lakhdar Sais, Éric Grégoire
2002	A	`conf`	Recovering and Exploiting Structural Knowledge from CNF Formulas. CP Richard Ostrowski, Éric Grégoire, Bertrand Mazure, Lakhdar Sais
2002	Misc	`conf`	Using Failed Local Search for SAT as an Oracle for Tackling Harder A.I. Problems More Efficiently. AIMSA Éric Grégoire, Bertrand Mazure, Lakhdar Sais
2001	J	`jnl`	Checking depth-limited consistency and inconsistency in knowledge-based systems. Int. J. Intell. Syst. Laure Brisoux, Éric Grégoire, Lakhdar Sais
2001	A	`conf`	Neighborhood-Based Variable Ordering Heuristics for the Constraint Satisfaction Problem. CP Christian Bessière, Assef Chmeiss, Lakhdar Sais
2000	B	`conf`	About the use of local consistency in solving CSPs. ICTAI Assef Chmeiss, Lakhdar Sais
1999	C	`conf`	Improving Backtrack Search for SAT by Means of Redundancy. ISMIS Laure Brisoux, Éric Grégoire, Lakhdar Sais
1998	J	`jnl`	Boosting Complete Techniques Thanks to Local Search Methods. Ann. Math. Artif. Intell. Bertrand Mazure, Lakhdar Sais, Éric Grégoire
1998	Misc	`conf`	Combining Nonmonotonic Reasoning and Belief Revision: A Practical Approach. AIMSA Brigitte Bessant, Éric Grégoire, Pierre Marquis, Lakhdar Sais
1998	A	`conf`	System Description: CRIL Platform for SAT. CADE Bertrand Mazure, Lakhdar Sais, Éric Grégoire
1998	—	`conf`	Validation of Knowledge-Based Systems by Means of Stochastic Search. DEXA Workshop Laure Brisoux, Éric Grégoire, Lakhdar Sais
1997	J	`jnl`	An Efficient Technique to Ensure the Logical Consistency of Interacting Knowledge Bases. Int. J. Cooperative Inf. Syst. Bertrand Mazure, Lakhdar Sais, Éric Grégoire
1997	—	`conf`	Checking Several Forms of Consistency in Nonmonotonic Knowledge-Bases. ECSQARU-FAPR Bertrand Mazure, Lakhdar Sais, Éric Grégoire
1997	—	`conf`	Local Search for Computing Normal Circumstances Models. Fuzzy Days Bertrand Mazure, Lakhdar Sais, Éric Grégoire
1997	—	`conf`	Tabu Search for SAT. AAAI/IAAI Bertrand Mazure, Lakhdar Sais, Éric Grégoire
1997	—	`conf`	Tractable Cover Compilations. IJCAI (1) Yacine Boufkhad, Éric Grégoire, Pierre Marquis, Bertrand Mazure, Lakhdar Sais
1994	J	`jnl`	Tractability Through Symmetries in Propositional Calculus. J. Autom. Reason. Belaid Benhamou, Lakhdar Sais
1994	A	`conf`	Two Proof Procedures for a Cardinality Based Language in Propositional Calculus. STACS Belaid Benhamou, Lakhdar Sais, Pierre Siegel
1992	A	`conf`	Theoretical Study of Symmetries in Propositional Calculus and Applications. CADE Belaid Benhamou, Lakhdar Sais