Fast term indexing with coded context trees

DOI10.1023/B:JARS.0000029963.64213.aczbMath1073.68077OpenAlexW2045825303MaRDI QIDQ1876097

Harald Ganzinger, Pilar Nivela, Robert Nieuwenhuis

Publication date: 16 August 2004

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/b:jars.0000029963.64213.ac

zbMATH Keywords

automated deductionterm indexing

Mathematics Subject Classification ID

Related Items (3)

Unnamed Item ⋮ Harald Ganzinger’s Legacy: Contributions to Logics and Programming ⋮ An efficient subsumption test pipeline for BS(LRA) clauses

Uses Software

• VAMPIRE
• TPTP

This page was built for publication: Fast term indexing with coded context trees