Yazid Boumarafi View the directory of former members
Personal Data
- Poste 15 80 71
- boumarafi@cril.univ-artois.fr
- http://www.cril.univ-artois.fr/~boumarafi/
Degree prepared or obtained while being at CRIL
Research Axis
- Constraints
-
Recent Project
- CPER Data 2015-2022
Publications
International conferences
2019 Knowledge Yazid Boumarafi, Yakoub Salhi, On Solving Exactly-One-SAT in 31st IEEE International Conference on Tools with Artificial Intelligence (ICTAI'19),2019.
2018 Knowledge 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.