C. Acar Erkek

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
The main challenge of automated theorem proving is to find a way to shorten the search process. Therefore using a good heuristic method is essential. Instead of constructing a heuristic from scratch, we propose to use the mixture of experts learning to combine the existing heuristics to construct a heuristic from similar problems. The results show that the(More)
  • 1