Yazid Boumarafi

According to our database, Yazid Boumarafi authored at least 4 papers between 2017 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

Codigen: Enhancing Personalized Programming Education with Visual Authoring and LLMs.

Mohamed Ez-zaouia, Yazid Boumarafi

Proceedings of the 2025 IEEE Symposium on Visual Languages and Human-Centric Computing, 2025

2019

On Solving Exactly-One-SAT.

Yazid Boumarafi, Yakoub Salhi

Proceedings of the 31st IEEE International Conference on Tools with Artificial Intelligence, 2019

2018

Tractable Classes in Exactly-One-SAT.

Yazid Boumarafi, Yakoub Salhi

Proceedings of the Artificial Intelligence: Methodology, Systems, and Applications, 2018

2017

From SAT to Maximum Independent Set: A New Approach to Characterize Tractable Classes.

Yazid Boumarafi, Lakhdar Sais, Yakoub Salhi

Proceedings of the LPAR-21, 2017