Solving CSP is in general NP-Complete. However, there are vari-ous subsets of CSPs that can be solved in polynomial time. Some of them can be identified by analyzing their structure. Unfortunately the proposed methods for exploiting these structural proprieties are not ef-ficient in practice. So exploiting these structural properties for solving CSP ∫ is a crucial challenge. In this paper, we propose efficient algo-rithms which exploit these structural proprieties, for both sequential and parallel resolutions. Some experiments done on academic bench-marks show the efficiciency of our approach.
International audienceIn this paper, we consider theoretical and practical methods based on decompos...
A key strategy for speeding up computation is to run in paral-lel on multiple cores. However, on har...
The problem of computing solutions to constraint satisfaction problems (CSPs) has gained widespread ...
Constraint Satisfaction Problems (CSPs) are NP-complete in general, however, there are many tractabl...
AbstractWe compare tractable classes of constraint satisfaction problems (CSPs). We first give a uni...
L’importance des problèmes CSP, WCSP et #CSP est reflétée par la part considérable des travaux, théo...
Tree projections provide a unifying framework to deal with most structural decomposition methods of ...
Tree projections provide a unifying framework to deal with most structural decomposition methods of ...
Hypertree decomposition is a powerful technique for transforming near-acyclic CSPs into acyclic CSPs...
AbstractWe compare tractable classes of constraint satisfaction problems (CSPs). We first give a uni...
Constraint Satisfaction Problems (CSP) are notoriously hard. Consequently, powerful decomposition me...
Constraint Satisfaction Problems (CSP) are notoriously hard. Consequently, powerful decomposition me...
International audienceIn this paper, we consider theoretical and practical methods based on decompos...
International audienceIn this paper, we consider theoretical and practical methods based on decompos...
Constraint satisfaction problems (CSPs) are NP-complete in general, therefore it is important to ide...
International audienceIn this paper, we consider theoretical and practical methods based on decompos...
A key strategy for speeding up computation is to run in paral-lel on multiple cores. However, on har...
The problem of computing solutions to constraint satisfaction problems (CSPs) has gained widespread ...
Constraint Satisfaction Problems (CSPs) are NP-complete in general, however, there are many tractabl...
AbstractWe compare tractable classes of constraint satisfaction problems (CSPs). We first give a uni...
L’importance des problèmes CSP, WCSP et #CSP est reflétée par la part considérable des travaux, théo...
Tree projections provide a unifying framework to deal with most structural decomposition methods of ...
Tree projections provide a unifying framework to deal with most structural decomposition methods of ...
Hypertree decomposition is a powerful technique for transforming near-acyclic CSPs into acyclic CSPs...
AbstractWe compare tractable classes of constraint satisfaction problems (CSPs). We first give a uni...
Constraint Satisfaction Problems (CSP) are notoriously hard. Consequently, powerful decomposition me...
Constraint Satisfaction Problems (CSP) are notoriously hard. Consequently, powerful decomposition me...
International audienceIn this paper, we consider theoretical and practical methods based on decompos...
International audienceIn this paper, we consider theoretical and practical methods based on decompos...
Constraint satisfaction problems (CSPs) are NP-complete in general, therefore it is important to ide...
International audienceIn this paper, we consider theoretical and practical methods based on decompos...
A key strategy for speeding up computation is to run in paral-lel on multiple cores. However, on har...
The problem of computing solutions to constraint satisfaction problems (CSPs) has gained widespread ...