C. Acar Erkek

According to our database, C. Acar Erkek authored at least 1 paper in 2010.

Collaborative distances:

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

2010

Using Mixture of Experts Method in Combining Search-Guiding Heuristics for Theorem Proving.

C. Acar Erkek, Tunga Güngör

Proceedings of the Computer and Information Sciences, 2010