SPTHEO

swMATH21561MaRDI QIDQ33368FDOQ33368

Author name not available (Why is that?)

Described by source

• SPS-parallelism+SETHEO=SPTHEO

Cited In (2)

• Octopus: combining learning and parallel search
• Partition-based logical reasoning for first-order and propositional theories

This page was built for software: SPTHEO