SLIQ: Einfache lineare Ungleichungen für effizientes zusammenhängendes Gerüst