1 paper
Jan Gorzny, Ezequiel Postan, Bruno Woltzenlogel Paleo
Resolution and superposition are common techniques which have seen widespread use with propositional and first-order logic in modern theorem provers. In these cases, resolution pro…