A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf
.
Equality Preprocessing in Connection Calculi
2020
Conference on Automated Deduction
Equality is a fundamental concept in first-order reasoning, yet for connection based proof methods a notoriously challenging one to handle efficiently. While paramodulation is a popular technique for dealing with equality in resolution and related calculi, there is no single practical successful solution for connection based approaches. We present an extensible system for equality preprocessing in connection calculi (EPICC) that can be used as a tool in reducing the search space of problems
dblp:conf/cade/OliverO20
fatcat:ai5dfuvn6zfbfhg5dnieuj6q7q