. Last-conflict-;-lecoutre, Basic form of Conflict Back-Jumping Used in combination with domain size / weighted degree (Lecoutre et al, AIJ, 2006.