Adaptive enumeration strategies and metabacktracks for constraint solving

  • Authors:
  • Eric Monfroy;Carlos Castro;Broderick Crawford

  • Affiliations:
  • Universidad Técnica Federico Santa María, Valparaíso, Chile;Universidad Técnica Federico Santa María, Valparaíso, Chile;Universidad Técnica Federico Santa María, Valparaíso, Chile

  • Venue:
  • ADVIS'06 Proceedings of the 4th international conference on Advances in Information Systems
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

Abstract

In Constraint Programming, enumeration strategies are crucial for resolution performances. The effect of strategies is generally unpredictable. In a previous work, we proposed to dynamically change strategies showing bad performances, and to use metabacktrack 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.