SPTHEO

swMATH21561MaRDI QIDQ33368FDOQ33368

Author name not available (Why is that?)

Official website: https://link.springer.com/article/10.1023/A:1005868304990

Described by source

• SPS-parallelism+SETHEO=SPTHEO

Cited In (11)

• Octopus: combining learning and parallel search
• Partition-based logical reasoning for first-order and propositional theories
• BREAKUP
• Octopus
• Roo
• EQP
• HERBY
• Peers-mcd
• PARTHENON
• GETFOL
• Aquarius

This page was built for software: SPTHEO