I'm going to speed up the theorem prover based on Conflict Resolution calculus. In particular, I am going to improve the bottlenecks in the current version of the algorithm by using better data structures.

Student

vlad107

Mentors

  • Haniel Barbosa
  • Bruno Woltzenlogel Paleo
  • Adri├ín Rebola-Pardo
  • Daniyar Itegulov
close

2017