Saïd Jabbour - RankMe

133 papers A* 12A 20B 24C 9Misc 2Journal 30Unranked 34

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Approche fondée sur les motifs disjonctifs pour l'apprentissage des règles de classification. EGC Amel Hidouri, Saïd Jabbour, Badran Raddaoui, Ahmed Samet
2025	A*	`conf`	Decomposing Inconsistencies: Marginal Contributions and Pooling Techniques. IJCAI Christian Straßer, Badran Raddaoui, Saïd Jabbour
2025	A*	`conf`	On Integrating Logical Analysis of Data into Random Forests. IJCAI David Ing, Saïd Jabbour, Lakhdar Saïs
2025	—	`conf`	Text Mining from Migration Narratives. ECML/PKDD (8) David Ing, Fabien Delorme, Saïd Jabbour, Nelly Robin, Lakhdar Sais
2025	—	`conf`	Une approche de clustering conceptuel via des k-motifs relaxés fréquents. EGC Motaz Ben Hassine, Saïd Jabbour, Mourad Kmimech, Badran Raddaoui, Mohamed Graiet
2024	—	`conf`	A Principle-based Framework for Repair Selection in Inconsistent Ontologies (Extended Abstract). Description Logics Saïd Jabbour, Yue Ma, Badran Raddaoui
2024	C	`conf`	Boosting the Discovery of Interval Patterns Using SAT. MEDES Imen Ouled Dlala, Saïd Jabbour, Badran Raddaoui
2024	—	`conf`	Enumération des itemsets rares minimaux à partir des bases de données transactionnelles. EGC Amel Hidouri, Badran Raddaoui, Saïd Jabbour
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	A	`conf`	On the Discovery of Conceptual Clustering Models Through Pattern Mining. ECAI Motaz Ben Hassine, Saïd Jabbour, Mourad Kmimech, Badran Raddaoui, Mohamed Graiet
2024	J	`jnl`	On the Discovery of Frequent Gradual Patterns: A Symbolic AI-Based Framework. SN Comput. Sci. Jerry Lonlac, Imen Ouled Dlala, Saïd Jabbour, Engelbert Mephu Nguifo, Badran Raddaoui, Lakhdar Saïs
2024	B	`conf`	On the Learning of Explainable Classification Rules through Disjunctive Patterns. ICTAI Amel Hidouri, Saïd Jabbour, Badran Raddaoui, Ahmed Samet
2024	A*	`conf`	Towards a Principle-based Framework for Assessing the Contribution of Formulas on the Conflicts of Knowledge Bases. IJCAI Badran Raddaoui, Christian Straßer, Saïd Jabbour
2024	A	`conf`	Towards a Principle-based Framework for Repair Selection in Inconsistent Knowledge Bases. AAMAS Saïd Jabbour, Yue Ma, Badran Raddaoui
2023	A*	`conf`	A Comparative Study of Ranking Formulas Based on Consistency. IJCAI Badran Raddaoui, Christian Straßer, Saïd Jabbour
2023	B	`conf`	A Non-overlapping Community Detection Approach Based on α-Structural Similarity. DaWaK Motaz Ben Hassine, Saïd Jabbour, Mourad Kmimech, Badran Raddaoui, Mohamed Graiet
2023	A*	`conf`	A Symbolic Approach to Computing Disjunctive Association Rules from Data. IJCAI Saïd Jabbour, Badran Raddaoui, 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	J	`jnl`	Corrigendum to "Mining Closed High Utility Itemsets based on Propositional Satisfiability" [Data Knowl. Eng. 136C (2021) 101927]. Data Knowl. Eng. Amel Hidouri, Saïd Jabbour, Badran Raddaoui, Boutheina Ben Yaghlane
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
2023	A*	`conf`	Targeting Minimal Rare Itemsets from Transaction Databases. IJCAI Amel Hidouri, Badran Raddaoui, Saïd Jabbour
2023	—	`conf`	Towards Novel Inference Relations based on Logical Argumentation. AI³@AI*IA Saïd Jabbour, Yue Ma, Badran Raddaoui
2023	C	`conf`	Towards a Unified Symbolic AI Framework for Mining High Utility Itemsets. iiWAS Amel Hidouri, Badran Raddaoui, Saïd Jabbour
2022	A	`conf`	A Declarative Framework for Maximal AAMAS Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais
2022	—	`conf`	A Distributed SAT-Based Framework for Closed Frequent Itemset Mining. ADMA (2) Julien Martin-Prin, Imen Ouled Dlala, Nicolas Travers, Saïd Jabbour
2022	J	`jnl`	A Framework for Reasoning About Uncertainty in Ontologies. IEEE Intell. Syst. Saïd Jabbour, Yue Ma, Badran Raddaoui
2022	—	`conf`	A Parallel Declarative Framework for Mining High Utility Itemsets. IPMU (2) Amel Hidouri, Saïd Jabbour, Badran Raddaoui, Mouna Chebbah, Boutheina Ben Yaghlane
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
2022	B	`conf`	Discovering Overlapping Communities Based on Cohesive Subgraph Models over Graph Data. DaWaK Saïd Jabbour, Mourad Kmimech, Badran Raddaoui
2022	A	`conf`	On the Enumeration of Frequent High Utility Itemsets: A Symbolic AI Approach. CP Amel Hidouri, Saïd Jabbour, Badran Raddaoui
2021	B	`conf`	A Constraint-based Approach for Enumerating Gradual Itemsets. ICTAI Amel Hidouri, Saïd Jabbour, Jerry Lonlac, Badran Raddaoui
2021	B	`conf`	A Declarative Framework for Mining Top-k High Utility Itemsets. DaWaK Amel Hidouri, Saïd Jabbour, Badran Raddaoui, Mouna Chebbah, Boutheina Ben Yaghlane
2021	J	`jnl`	Mining Closed High Utility Itemsets based on Propositional Satisfiability. Data Knowl. Eng. Amel Hidouri, Saïd Jabbour, Badran Raddaoui, Boutheina Ben Yaghlane
2021	—	`conf`	On Minimal and Maximal High Utility Itemsets Mining using Propositional Satisfiability. IEEE BigData Amel Hidouri, Saïd Jabbour, Imen Ouled Dlala, Badran Raddaoui
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`	A MaxSAT based approach for QoS cloud services. Int. J. Parallel Emergent Distributed Syst. Abderrahim Ait Wakrime, Saïd Jabbour, Nabil Hameurlain
2020	B	`conf`	A SAT-Based Approach for Mining High Utility Itemsets from Transaction Databases. DaWaK Amel Hidouri, Saïd Jabbour, Badran Raddaoui, Boutheina Ben Yaghlane
2020	J	`jnl`	Cloud service composition using minimal unsatisfiability and genetic algorithm. Concurr. Comput. Pract. Exp. Abderrahim Ait Wakrime, Mouna Rekik, Saïd Jabbour
2020	A*	`conf`	On the Enumeration of Association Rules: A Decomposition-based Approach. IJCAI Yacine Izza, Saïd Jabbour, Badran Raddaoui, Abdelhamid Boudane
2020	J	`jnl`	SAT-based models for overlapping community detection in networks. Computing Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais
2019	J	`jnl`	Extracting Frequent Gradual Patterns Using Constraints Modeling. CoRR Jerry Lonlac, Saïd Jabbour, Engelbert Mephu Nguifo, Lakhdar Saïs, Badran Raddaoui
2019	B	`conf`	Handling Disagreement in Ontologies-Based Reasoning via Argumentation. WISE Saïd Jabbour, Yue Ma, Badran Raddaoui
2019	B	`conf`	Mining Gradual Itemsets Using Sequential Pattern Mining. FUZZ-IEEE Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs
2019	—	`conf`	Représentations compactes des graphes et contraintes pseudo booléennes. EGC Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais
2019	—	`conf`	Towards a Prudent Argumentation Framework for Reasoning with Imperfect Ontologies. Description Logics Saïd Jabbour, Yue Ma, Badran Raddaoui
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	—	`book`	Des Données aux Connaissances : Modèles et Algorithmes. Saïd Jabbour
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	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`	Revisiting the Learned Clauses Database Reduction Strategies. Int. J. Artif. Intell. Tools Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs, Yakoub Salhi
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	C	`conf`	Formal Approach for QoS-Aware Cloud Service Composition. WETICE Abderrahim Ait Wakrime, Saïd Jabbour
2017	B	`conf`	Handling conflicts in uncertain ontologies using deductive argumentation. WI Amel Bouzeghoub, Saïd Jabbour, Yue Ma, Badran Raddaoui
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	—	`conf`	A Comparative Study of SAT-Based Itemsets Mining. SGAI Conf. Imen Ouled Dlala, Saïd Jabbour, Lakhdar Saïs, Boutheina Ben Yaghlane
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 Inconsistency Measuring and Resolving. ECAI Saïd Jabbour
2016	C	`conf`	On repairing queries in cloud computing. AICCSA Abderrahim Ait Wakrime, Saïd Jabbour
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	J	`jnl`	What we can learn from conflicts in propositional satisfiability. Ann. Oper. Res. Youssef Hamadi, Saïd Jabbour, Lakhdar Saïs
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	C	`conf`	Minimum Unsatisfiability based QoS Web Service Composition over the Cloud Computing. ISDA Abderrahim Ait Wakrime, Saïd Jabbour
2015	B	`conf`	Mining to Compress Table Constraints. ICTAI Saïd Jabbour, Stéphanie Roussel, Lakhdar Sais, Yakoub Salhi
2015	—	`conf`	On QoS web service composition using satisfiability. ICTA Abderrahim Ait Wakrime, Saïd Jabbour
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
2015	—	`conf`	Relaxation Based SaaS for Repairing Failed Queries over the Cloud Computing. ICEBE Abderrahim Ait Wakrime, Salima Benbernou, Saïd Jabbour
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	Misc	`conf`	A Pigeon-Hole Based Encoding of Cardinality Constraints. ISAIM Saïd Jabbour, Lakhdar Saïs, Yakoub Salhi
2014	C	`conf`	An Effective Distributed D&C Approach for the Satisfiability Problem. PDP Gilles Audemard, Benoît Hoessen, Saïd Jabbour, Cédric Piette
2014	B	`conf`	Diversification by Clauses Deletion Strategies in Portfolio Parallel SAT Solving. ICTAI Long Guo, Saïd Jabbour, Jerry Lonlac, Lakhdar Sais
2014	—	`conf`	Dolius: A Distributed Parallel SAT Solving Framework. POS@SAT Gilles Audemard, Benoît Hoessen, Saïd Jabbour, Cédric Piette
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	A	`conf`	Inconsistency measurement thanks to mus decomposition. AAMAS Saïd Jabbour, Yue Ma, Badran Raddaoui
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	J	`jnl`	Résolution étendue par substitution dynamique des fonctions booléennes. Rev. d'Intelligence Artif. Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs, Clémentin Tayou Djamégni
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	—	`conf`	Adding New Bi-Asserting Clauses for Faster Search in Modern SAT Solvers. SARA Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs
2013	A	`conf`	Boolean satisfiability for sequence mining. CIKM Saïd Jabbour, Lakhdar Sais, Yakoub Salhi
2013	C	`conf`	Measuring Inconsistency through Minimal Proofs. ECSQARU Saïd Jabbour, Badran Raddaoui
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	A	`conf`	A SAT-Based Approach for Discovering Frequent, Closed and Maximal Patterns in a Sequence. ECAI Emmanuel Coquery, Saïd Jabbour, Lakhdar Saïs, 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	A	`conf`	Intensification Search in Modern SAT Solvers - (Poster Presentation). SAT Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs
2012	J	`jnl`	Learning from conflicts in propositional satisfiability. 4OR Youssef Hamadi, Saïd Jabbour, Lakhdar Sais
2012	A	`conf`	Revisiting Clause Exchange in Parallel SAT Solving. SAT Gilles Audemard, Benoît Hoessen, Saïd Jabbour, Jean-Marie Lagniez, Cédric Piette
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
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	J	`jnl`	Learning from successes. Int. J. Artif. Intell. Tools Saïd Jabbour
2009	A*	`conf`	Control-Based Clause Sharing in Parallel SAT Solving. IJCAI Youssef Hamadi, Saïd Jabbour, Lakhdar Sais
2009	B	`conf`	Learning for Dynamic Assignments Reordering. ICTAI Saïd Jabbour
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	J	`jnl`	ManySAT: a Parallel SAT Solver. J. Satisf. Boolean Model. Comput. Youssef Hamadi, Saïd Jabbour, Lakhdar Sais
2008	A	`conf`	A Generalized Framework for Conflict Analysis. SAT Gilles Audemard, Lucas Bordeaux, Youssef Hamadi, Saïd Jabbour, Lakhdar Sais
2008	J	`jnl`	SAT graph-based representation: A new perspective. J. Algorithms Gilles Audemard, Saïd Jabbour, Lakhdar Sais
2007	A*	`conf`	Symmetry Breaking in Quantified Boolean Formulae. IJCAI Gilles Audemard, Saïd Jabbour, Lakhdar Sais