Husain M. Naser

Certified Fractional Chromatic Bounds from Implicit Column Generation

Author's submitted manuscript (version of 17 August 2026). Submitted for publication; not peer reviewed. Dold et al. (CP 2026) equip ZykovColor with VeriPB proof logging and the CakePB checker, leaving one lower-bounding technique uncertified: the fractional chromatic number boun...