DRABT

swMATH44138MaRDI QIDQ5973863FDOQ5973863

Author name not available (Why is that?)

Official website: http://fmv.jku.at/drabt/

Described by source

• Compositional propositional proofs

Cited In (2)

• Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer
• kcnfs

This page was built for software: DRABT