Octopus

swMATH10407MaRDI QIDQ22368FDOQ22368

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

Cited in

(10)

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

This page was built for software: Octopus