The hot list strategy

DOI10.1023/A:1005909914693zbMath0926.68132OpenAlexW2126171211MaRDI QIDQ1285861

Gail W. Pieper, Larry Wos

Publication date: 29 November 1999

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

Full work available at URL: https://doi.org/10.1023/a:1005909914693

zbMATH Keywords

OTTERhot list strategy

Mathematics Subject Classification ID

Related Items (1)

The Legacy of a Great Researcher

Uses Software

• OTTER

This page was built for publication: The hot list strategy