ECAI
2006
Springer
15 years 16 days ago
2006
Springer
In this paper, we propose an approach to guide search to sources of conflicts. The principle is the following: the last variable involved in the last conflict is selected in priori...