Tarek Nabhani

According to our database, Tarek Nabhani authored at least 1 paper in 2010.

Collaborative distances:

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

2010

Enhancing Clause Learning by Symmetry in SAT Solvers.

Belaid Benhamou, Tarek Nabhani, Richard Ostrowski, Mohamed Réda Saïdi

Proceedings of the 22nd IEEE International Conference on Tools with Artificial Intelligence, 2010