Aquarius

swMATH26678MaRDI QIDQ38407FDOQ38407

Author name not available (Why is that?)

Source code repository: https://github.com/theoremprover-museum/Aquarius

Described by source

• Distributed deduction by clause-diffusion: Distributed contraction and the Aquarius prover

Cited In (3)

• Octopus: combining learning and parallel search
• Fine-grained concurrent completion
• On subsumption in distributed derivations

This page was built for software: Aquarius