Yazid Boumarafi Annuaire des anciens membres
Coordonnées
- Poste 15 80 71
- boumarafi@cril.univ-artois.fr
- http://www.cril.univ-artois.fr/~boumarafi/
Diplôme en cours ou obtenu en étant au CRIL
Axe de recherche
- Contraintes
-
Projet récent
- CPER Data 2015-2022
Publications
Articles de conférences internationales
2019 Connaissances Yazid Boumarafi, Yakoub Salhi, On Solving Exactly-One-SAT in 31st IEEE International Conference on Tools with Artificial Intelligence (ICTAI'19),2019.
2018 Connaissances Yazid Boumarafi, Yakoub Salhi, Tractable Classes in Exactly-One-SAT in Artificial Intelligence: Methodology, Systems, and Applications - 18th International Conference (AIMSA'18),2018.
2017 Yazid Boumarafi, Lakhdar Saïs, Yakoub Salhi, From SAT to Maximum Independent Set: A New Approach to Characterize Tractable Classes in 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR'17),pp. 286-299, 2017.