Octopus

swMATH10407MaRDI QIDQ22368FDOQ22368

Author name not available (Why is that?)

Official website: http://link.springer.com/article/10.1007/s10817-004-3243-2

Cited In (8)

• The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0
• Octopus: combining learning and parallel search
• I-SATCHMO
• Roo
• EQP
• SPTHEO
• PARTHENON
• Aquarius

This page was built for software: Octopus