Look-Back Techniques and Heuristics in DLV: Implementation, Evaluation and Comparison to QBF Solvers