Auswahlvorschrift bei Verzweigungsalgorithmen, die angibt, in welchem Zweig als nächstes gesucht werden soll.

Bei der LIFO-Strategie (last-in-first-out) wählt man eine Teilmenge mit der aktuell günstigsten Optimalitätsschranke nur unter denjenigen Teilmengen aus, die bei der letzten Verzweigung entstanden sind.