Min-conflict Backtracking [Minton, et al, 92]
NTT Communication Science Labs.
Each variable has a tentative initial value.
The tentative initial value is revised when the variable is added to the partial solution so that the revised value satisfies:
- all of the constraints between the partial solution
- as many constraints between tentative initial values as possible