Semidefinite Programming Bounds on Fractional Cut-Cover and Maximum 2-SAT for Highly Regular Graphs. - Assumpção, Henrique; Coutinho, Gabriel (Mathematics of Operations Research (INFORMS), 2026)