Publication:3716319
From MaRDI portal
zbMath0588.68044MaRDI QIDQ3716319
Alexander Leitsch, Georg Gottlob
Publication date: 1985
polynomial time; exponential lower bound; Division into Components; improved DC; subsumption algorithm DC
68Q25: Analysis of algorithms and problem complexity
Related Items
Removing redundancy from a clause, Subsumption and implication, Reduction rules for resolution-based systems, Thue trees