Aquarius

MaRDI QIDQ38407swMATHFDO

Official website http://profs.sci.univr.it/~bonacina/cdprovers.html

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

(14)

• Octopus: combining learning and parallel search
• PLAGIATOR
• TGTP
• PARTHEO
• Octopus
• Roo
• EQP
• HERBY
• SPTHEO
• Peers-mcd
• PARTHENON
• METEOR
• On subsumption in distributed derivations
• Fine-grained concurrent completion

This page was built for software: Aquarius