A Reactive Constraint Programming Formulation
Éric Monfroy, Carlos Castro, Broderick Crawford · 2009
Constraint Programming is a powerful paradigm for solving Combinatorial Problems. In this solver approach, Enumeration Strategies are crucial for resolution performances. In a previous work, we proposed a framework to reactively change strategies showing bad performances, and to use metabacktracks to restore better states when bad decisions were made. In this paper, we design and evaluate strategies to improve resolution performances of a set of problems. Experimental results show the effectiveness of our approach.