Local Elimination Solver