Said Jabbour

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Towards a compact SAT-based encoding of itemset mining tasks	2022-03-21	Paper
SAT-based models for overlapping community detection in networks Computing	2020-07-30	Paper
Efficient SAT-based encodings of conditional cardinality constraints EPiC Series in Computing	2019-07-04	Paper
scientific article; zbMATH DE number 6902558 (Why is no real title available?)	2018-07-12	Paper
On the computation of Top-\(k\) extensions in abstract argumentation frameworks	2018-07-12	Paper
Quantifying conflicts in propositional logic through prime implicates International Journal of Approximate Reasoning	2017-11-16	Paper
Mining top-\(k\) motifs with a SAT-based framework Artificial Intelligence	2017-02-22	Paper
What we can learn from conflicts in propositional satisfiability Annals of Operations Research	2016-07-22	Paper
Deterministic parallel DPLL Journal of Satisfiability, Boolean Modeling and Computation	2016-02-23	Paper
A SAT-based approach for discovering frequent, closed and maximal patterns in a sequence	2015-12-11	Paper
Symmetries in itemset mining	2015-12-11	Paper
Enumerating prime implicants of propositional formulae in conjunctive normal form Logics in Artificial Intelligence	2015-01-14	Paper
Measuring inconsistency through minimal proofs Lecture Notes in Computer Science	2013-08-05	Paper
Learning from conflicts in propositional satisfiability 4OR	2012-06-13	Paper
ManySAT: a parallel SAT solver	2009-10-26	Paper
SAT graph-based representation: A new perspective Journal of Algorithms	2008-09-29	Paper
A Generalized Framework for Conflict Analysis Theory and Applications of Satisfiability Testing – SAT 2008	2008-05-27	Paper

Research outcomes over time

This page was built for person: Said Jabbour