3 citations · 6 across the 6 of their papers we have counts for
1 paper · 2 filters
Giles Reger, Martin Suda, Andrei Voronkov +1
Modern saturation-based Automated Theorem Provers typically implement the superposition calculus for reasoning about first-order logic with or without equality. Practical implement…