18,934 followers
Superposition with Delayed Unification. https://t.co/tW9B697z2P
Superposition with Delayed Unification. https://t.co/tW9B697z2P
Check out this fascinating blog post about "Superposition with Delayed Unification" which explores integrating unification into the calculus level in saturation-based proof systems. Discover the benefits and experimental evaluation here: https://t.co/FenCw