Buobe
    Certifiable Optimization, Part 1: Exploiting Chordal Sparsity with Bayes Trees | Buobe