Solving the Escape Density Problem: Making connections count with SCIP. - Rebecca Schaevitz; Karl Muth; Ying Luo; Vivek Raghuraman; Near Margalit (OFC, 2023)