Dauod Siniora

Publication Activity (10 Years)

Years Active: 2021-2021
Publications (10 Years): 1

Top Topics

Boolean Satisfiability

Probabilistic Planning

Top Venues

Publications

Mohamed Ghanem, Dauod Siniora
On Theoretical Complexity and Boolean Satisfiability. CoRR (2021)