Formal VeriPB certification of the elimination of link class 52 in the HorizonMath C(13,7,4) covering-design search; all 30 required instances independently reproduced.
computational-mathematics formal-verification pseudo-boolean veripb covered-designs roundingsat unsat-certificates
-
Updated
Jul 29, 2026