Yazid Boumarafi

According to our database, Yazid Boumarafi authored at least 3 papers between 2017 and 2019.

Collaborative distances:

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

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