Publications

Article(s) de conférence(s) internationale(s)

2014 Mohammad Al-Saedi, Éric Grégoire, Bertrand Mazure, Lakhdar Saïs, About Some UP-Based Polynomial Fragments of SAT in International Symposium on Artificial Intelligence and Mathematics (ISAIM’14),janvier 2014.

2014 Mohammad Al-Saedi, Éric Grégoire, Bertrand Mazure, Lakhdar Saïs, Extensions and Variants of Dalal’s Quad Polynomial Fragments of SAT in 26th International Conference on Tools with Artificial Intelligence (ICTAI’14),pp. 446-452, 2014.