Prune by Infeasibility

Eine der beiden LP-Relaxierungen ist nicht lösbar, das heißt $P_i=\varnothing$. Daraus folgt auch $S_i=\varnothing$ womit das $i$-te MIP nicht lösbar ist und daher nicht weiter betrachtet werden muss.