Concepedia

Saïd Jabbour

SJ

Statistics

Publications

21

Citations

625

H-Index

12

Active since

2009

Affiliations

Université d'Artois(Current)

Centre National de la Recherche Scientifique

Centre de Recherche en Informatique

Microsoft Research (United Kingdom)

Département d'Informatique

Saïd Jabbour is an author at Université d'Artois specializing in automated reasoning, engineering, and computer science.

Top concepts

EngineeringComputer ScienceAutomated ReasoningKnowledge DiscoveryData ScienceData MiningFormal MethodsSatisfiabilityFormal VerificationComputational Complexity

Publications per year

2009–2025

21

Publications

21

ManySAT: a Parallel SAT Solver

Youssef Hamadi, Saïd Jabbour, Lakhdar Saïs · Journal on Satisfiability Boolean Modeling and Computation · 2009 · 308 citations · Full text

Engineering, Manysat Benefits, Automated Reasoning +15

Inconsistency measurement thanks to mus decomposition

Saïd Jabbour, Yue Ma, Badran Raddaoui · 2014 · 29 citations

New Inconsistency, Measurement Theory, Engineering +24

Mining Negatives Association Rules Using Constraints

Saïd Jabbour, Fatima Zahra El Mazouri, Lakhdar Saïs · Procedia Computer Science · 2018 · 25 citations · Full text

Rule Discovery, Engineering, Information Retrieval +14

Boolean satisfiability for sequence mining

Saïd Jabbour, Lakhdar Saïs, Yakoub Salhi · 2013 · 24 citations

Engineering, Verification, Pattern Discovery +20

Deterministic Parallel DPLL

Youssef Hamadi, Saïd Jabbour, Cédric Piette et al. · Journal on Satisfiability Boolean Modeling and Computation · 2011 · 21 citations · Full text

Rows per page

1–5 of 21