Robbins Conjecture

swMATH29531MaRDI QIDQ41245FDOQ41245

Author name not available (Why is that?)

Cited In (4)

• Semi-intelligible Isar proofs from machine-generated proofs
• Extending Sledgehammer with SMT Solvers
• Extending Sledgehammer with SMT solvers
• A Hierarchy of Algebras for Boolean Subsets

This page was built for software: Robbins Conjecture