Saïd Jabbour

Available identifiers

zbMath Open jabbour.saidMaRDI QIDQ427558

List of research outcomes

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	2020-07-30	Paper
Efficient SAT-Based Encodings of Conditional Cardinality Constraints	2019-07-04	Paper
https://portal.mardi4nfdi.de/entity/Q4576226	2018-07-12	Paper
https://portal.mardi4nfdi.de/entity/Q4576231	2018-07-12	Paper
Quantifying conflicts in propositional logic through prime implicates	2017-11-16	Paper
Mining top-\(k\) motifs with a SAT-based framework	2017-02-22	Paper
What we can learn from conflicts in propositional satisfiability	2016-07-22	Paper
https://portal.mardi4nfdi.de/entity/Q2786913	2016-02-23	Paper
https://portal.mardi4nfdi.de/entity/Q3457225	2015-12-11	Paper
https://portal.mardi4nfdi.de/entity/Q3457246	2015-12-11	Paper
Enumerating Prime Implicants of Propositional Formulae in Conjunctive Normal Form	2015-01-14	Paper
Measuring Inconsistency through Minimal Proofs	2013-08-05	Paper
Learning from conflicts in propositional satisfiability	2012-06-13	Paper
https://portal.mardi4nfdi.de/entity/Q3639756	2009-10-26	Paper
SAT graph-based representation: A new perspective	2008-09-29	Paper
A Generalized Framework for Conflict Analysis	2008-05-27	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Saïd Jabbour