Identifying and exploiting problem structures using explanation-based constraint programming

Hadrien Cambazard (1, 2) , Narendra Jussien (3)

1 LINA - Laboratoire d'Informatique de Nantes Atlantique
2 4C UCC - Cork Constraint Computation Centre
3 TASC - Theory, Algorithms and Systems for Constraints

Identifying structures in a given combinatorial problem is often a key step for designing efficient search heuristics or for understanding the inherent complexity of the problem. Several Operations Research approaches apply decomposition or relaxation strategies upon such a structure identified within a given problem. The next step is to design algorithms that adaptively integrate that kind of information during search. We claim in this paper, inspired by previous work on impact-based search strategies for constraint programming, that using an explanation-based constraint solver may lead to collect invaluable information on the intimate dynamically revealed and static structures of a problem instance. Moreover, we discuss how dedicated OR solving strategies (such as Benders decomposition) could be adapted to constraint programming when specific relationships between variables are exhibited.

Domaines: Intelligence artificielle [cs.AI]; Recherche opérationnelle [math.OC]

Hadrien Cambazard, Narendra Jussien. Identifying and exploiting problem structures using explanation-based constraint programming. Constraints, 2006, 11 (4), pp.295-313. ⟨10.1007/s10601-006-9002-8⟩. ⟨hal-00293899⟩