88 citations · 94 across the 4 of their papers we have counts for
1 paper · 1 filter
Stephan Schulz
In saturation-based theorem proving, selecting the next clause for processing is a major concern. Twee has successfully applied the idea of preferring clauses that share terms with…