DRABT

swMATH44138MaRDI QIDQ5973863FDOQ5973863

Author name not available (Why is that?)

Described by source

• Compositional Propositional Proofs

Cited In (1)

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

This page was built for software: DRABT