1 citations · 1 across the 3 of their papers we have counts for
1 paper · 1 filter
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…