4
Publications
71
Citations
4
H-Index
2007
Active since
Affiliations
Redouane Ezzahir is an author at Mohammed V University specializing in automated reasoning, verification, and formal verification.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceAutomated ReasoningFormal Verification
Publications per year
2007–2020
4
4
"DisChoco: A platform for distributed constraint programming"
Redouane Ezzahir, Christian Bessière, Mustapha Belaissaoui et al. · 2007 · 33 citations
Nogood-based asynchronous forward checking algorithms
Mohamed Wahbi, Redouane Ezzahir, Christian Bessière et al. · Constraints · 2013 · 15 citations · Full text
DisChoco 2 : A Platform for Distributed Constraint Reasoning
Mohamed Wahbi, Redouane Ezzahir, Christian Bessière et al. · 2011 · 13 citations
Rows per page
1–4 of 4