Certificates

Navigation page for Blueprint/D5/S0/Certificates/ at upstream snapshot 55a96922002fdbf5644c47264702e325d0b475c9.

Contents

• Checked Linear Query Images
• Capped Coupling Certificate Replay
• Certified CNF Semantics for DFA Identification
• Finite Branch Atlases
• Finite Exhaustion Certificates
• Heterogeneous C4 Hat Games
• LRAT Certificates for Sparse DFAO State Lower Bounds
• LRAT Refutations and Unsatisfiability
• Exact Rational Linear Objective Certificates
• Support-local affine moment reconstruction
• Exact Rational Farkas Certificates
• Moment ambiguity and exact contact certificates
• Rational support elimination certificates
• Certified omitted-query residual envelopes
• Exact rational compression replay
• RationalSTCutCertificate
• Shankar Q Stieltjes Refutation
• A Tree with Nonunique Bottom Pinnacle Sets