Octopus

swMATH10407MaRDI QIDQ22368FDOQ22368

Author name not available (Why is that?)

Cited In (2)

• The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0
• Octopus: combining learning and parallel search

This page was built for software: Octopus