Prune by Infeasibility

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