From SAT to Maximum Independent Set: A New Approach to Characterize Tractable Classes. - Yazid Boumarafi; Lakhdar Sais; Yakoub Salhi (LPAR, 2017)

Tractable Classes in Exactly-One-SAT. - Yazid Boumarafi; Yakoub Salhi (AIMSA, 2018)

On Solving Exactly-One-SAT. - Yazid Boumarafi; Yakoub Salhi (ICTAI, 2019)