SPS-parallelism+SETHEO=SPTHEO

DOI10.1023/A:1006127022180zbMath0929.68111OpenAlexW1501430189MaRDI QIDQ1284705

Christian Suttner

Publication date: 26 April 1999

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

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

zbMATH Keywords

SETHEOSPTHEO

Mathematics Subject Classification ID

Related Items (2)

Octopus: combining learning and parallel search ⋮ SPTHEO

Uses Software

• SETHEO

This page was built for publication: SPS-parallelism+SETHEO=SPTHEO