Conflict-based Statistics

Conflict-based statistics is presented as a new general heuristics which can be applied for value ordering. It is shown how to apply it within iterative forward search algorithm and local search algorithms. Experimental results for combination of local search with conflict-based statistics are presented.