Lowest conflicting level (height)

[shnarazk]

Some variables can be in conflict at decision level one. But the others not. We can assign each variable a height at which it emitted a conflict so far. They decrease monotonously. Once it becomes zero, solvers can terminate the search process.