Robbins Conjecture

MaRDI QIDQ41245swMATHFDO

Authors Matthew Doty

Publication date 22 May 2010

Official website https://www.isa-afp.org/entries/Robbins-Conjecture.html

Cited in

(6)

• Extending Sledgehammer with SMT solvers
• Semi-intelligible Isar proofs from machine-generated proofs
• Network Security Policy Verification
• Sqrt_Babylonian
• A Hierarchy of Algebras for Boolean Subsets
• Extending Sledgehammer with SMT solvers

This page was built for software: Robbins Conjecture