All Questions
Tagged with automated-theorem-proving performance
1
question
9
votes
2
answers
276
views
Are search heuristics the main bottleneck for automated theorem provers?
My understanding of most automated theorem provers (which is possibly an incorrect understanding!) is that they start with some premises stored as unprocessed statements, and repeatedly select one to &...