Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers