A comparison of adaptive virtual constraint identification strategies for recurrent dynamic constraint satisfaction

In this paper, we compare four strategies designed to improve the search efficiency for solving recurrent dynamic constraint satisfaction problems. These strategies work by identifying and maintaining a set of virtual constraints based on their overall satisfiability. Of the four strategies, the co-adaptive method is superior.