Mohammad Al-Saedi

Publication Activity (10 Years)

Years Active: 2014-2014
Publications (10 Years): 0

Top Topics

Boolean Satisfiability

Randomized Approximation

Top Venues

Publications

Mohammad Al-Saedi, Éric Grégoire, Bertrand Mazure, Lakhdar Saïs
About Some UP-Based Polynomial Fragments of SAT. ISAIM (2014)