Large penalties in the complexity-guided search yield polynomial-size retained search regions with high probability

Large penalties yield polynomial-size retained search regions with high probability

http://arxiv.org/abs/2608.26618v1