Saïd Jabbour

From MaRDI portal
Revision as of 06:19, 7 October 2023 by Import231006081045 (talk | contribs) (Created automatically from import231006081045)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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/Q45762262018-07-12Paper
https://portal.mardi4nfdi.de/entity/Q45762312018-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
https://portal.mardi4nfdi.de/entity/Q27869132016-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
https://portal.mardi4nfdi.de/entity/Q36397562009-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: Saïd Jabbour

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