scientific article

From MaRDI portal

Publication:3716319

Jump to:navigation, search

zbMath0588.68044MaRDI QIDQ3716319

Alexander Leitsch, Georg Gottlob

Publication date: 1985

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

polynomial time exponential lower bound Division into Components improved DC subsumption algorithm DC

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25)

Related Items

Subsumption and implication ⋮ Reduction rules for resolution-based systems ⋮ Removing redundancy from a clause ⋮ Thue trees

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3716319&oldid=17218767"