Said Jabbour

From MaRDI portal
Person:427558

Available identifiers

zbMath Open jabbour.saidMaRDI QIDQ427558

List of research outcomes





PublicationDate of PublicationType
Towards a compact SAT-based encoding of itemset mining tasks2022-03-21Paper
SAT-based models for overlapping community detection in networks2020-07-30Paper
Efficient SAT-Based Encodings of Conditional Cardinality Constraints2019-07-04Paper
https://portal.mardi4nfdi.de/entity/Q45762312018-07-12Paper
https://portal.mardi4nfdi.de/entity/Q45762262018-07-12Paper
Quantifying conflicts in propositional logic through prime implicates2017-11-16Paper
Mining top-\(k\) motifs with a SAT-based framework2017-02-22Paper
What we can learn from conflicts in propositional satisfiability2016-07-22Paper
Deterministic parallel DPLL2016-02-23Paper
https://portal.mardi4nfdi.de/entity/Q34572252015-12-11Paper
https://portal.mardi4nfdi.de/entity/Q34572462015-12-11Paper
Enumerating Prime Implicants of Propositional Formulae in Conjunctive Normal Form2015-01-14Paper
Measuring Inconsistency through Minimal Proofs2013-08-05Paper
Learning from conflicts in propositional satisfiability2012-06-13Paper
ManySAT: a parallel SAT solver2009-10-26Paper
SAT graph-based representation: A new perspective2008-09-29Paper
A Generalized Framework for Conflict Analysis2008-05-27Paper

Research outcomes over time

This page was built for person: Said Jabbour

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:427558&oldid=10773898"
Powered by MediaWiki