1 problem

Finite-certificate conjecture. A finite extension of the O3/O6 certificate library should give depth $k+O(1)$ for three faults while preserving the minimum possible repair cost of…