Publications

International conferences

2019 Yazid Boumarafi, Yakoub Salhi, On Solving Exactly-One-SAT in 31st IEEE International Conference on Tools with Artificial Intelligence (ICTAI’19),2019.

2018 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.