Robbins Conjecture

swMATH29531MaRDI QIDQ41245FDOQ41245

Author name not available (Why is that?)

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
• Extending Sledgehammer with SMT solvers
• A Hierarchy of Algebras for Boolean Subsets

This page was built for software: Robbins Conjecture