Aquarius

swMATH26678MaRDI QIDQ38407

No author found.

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

Described by source

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

Related Items (3)

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

This page was built for software: Aquarius