Pith. sign in

Journal of Symbolic Co mputation (2003)

Avenhaus, J · 2003 · Journal of Symbolic Computation · DOI 10.1016/s0747-7171(03)00024-5

1 Pith paper cite this work, alongside 36 external citations. Polarity classification is still indexing.

1 Pith paper citing it
36 external citations · OpenAlex
open at publisher browse 1 citing papers

fields

cs.LO 1

years

2025 1

verdicts

CONDITIONAL 1

representative citing papers

Partial Redundancy in Saturation

cs.LO · 2025-05-28 · conditional · novelty 7.0

A new redundancy notion, attaching redundancy formulas to clauses, is shown complete for superposition and effective in Vampire, with reports of solving previously unsolved TPTP problems.

citing papers explorer

Showing 1 of 1 citing paper.

  • Partial Redundancy in Saturation cs.LO · 2025-05-28 · conditional · none · ref 1

    A new redundancy notion, attaching redundancy formulas to clauses, is shown complete for superposition and effective in Vampire, with reports of solving previously unsolved TPTP problems.