Conflict-based Statistics
Tomáš Müller, Roman Barták, Hana Rudová · 2004
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.