Download - Lambert Roadef 2008
![Page 1: Lambert Roadef 2008](https://reader033.vdocuments.net/reader033/viewer/2022060117/5584c5e3d8b42af8138b47f7/html5/thumbnails/1.jpg)
SOLVING CSP HYBRID SOLVING : NEED A FRAMEWORK INTEGRATE SPLIT IN GI TO AN UNIFORM FRAMEWORK CONCLUSION
Modèle d’hybridation pour la résolution de CSPROADEF 2008, Clermont-Ferrand, France
Tony LAMBERT
LIFO, Rue Léonard de Vinci 45067 ORLEANS
Mercredi 27 février 2008
1 / 40
![Page 2: Lambert Roadef 2008](https://reader033.vdocuments.net/reader033/viewer/2022060117/5584c5e3d8b42af8138b47f7/html5/thumbnails/2.jpg)
SOLVING CSP HYBRID SOLVING : NEED A FRAMEWORK INTEGRATE SPLIT IN GI TO AN UNIFORM FRAMEWORK CONCLUSION
Constraint programming processFormulate the problem with constraints as a CSP
• constraint : a relation on variables and their domains• Constraint Satisfaction Problem (CSP) : a set of
constraints together with a set of variable domains
CSP model
X
Y
U
TZ
C1
C2
C5C4
C3
Variables Constraints
• X = x1, . . . , xn set of nvariables,
• D = Dx1 , . . . , Dxn setof n domains,
• C = c1, . . . , cm set ofm constraints.
2 / 40
![Page 3: Lambert Roadef 2008](https://reader033.vdocuments.net/reader033/viewer/2022060117/5584c5e3d8b42af8138b47f7/html5/thumbnails/3.jpg)
SOLVING CSP HYBRID SOLVING : NEED A FRAMEWORK INTEGRATE SPLIT IN GI TO AN UNIFORM FRAMEWORK CONCLUSION
Problems are modeled as CSPs (X , D, C)
Some variables to represent objects(X = X1, . . . , Xn)
Domains over which variables can range(D = D1 × . . .× Dn)
Some constraints to set relation between objects
C1 : X ≤ Y ∗ 3C2 : Z 6= X − Y. . .
3 / 40
![Page 4: Lambert Roadef 2008](https://reader033.vdocuments.net/reader033/viewer/2022060117/5584c5e3d8b42af8138b47f7/html5/thumbnails/4.jpg)
SOLVING CSP HYBRID SOLVING : NEED A FRAMEWORK INTEGRATE SPLIT IN GI TO AN UNIFORM FRAMEWORK CONCLUSION
CSP solvingA solution
• Given a search space S = Dx1 × ...× Dxn
• an assignment s is a solution if :• s ∈ S and• ∀c ∈ C, s ∈ c
Solving a CSP can be :
• compute whether the CSP has a solution (satisfiability)
• find A solution
• find ALL solutions
• find optimal solutions (global optimum)
• find A good solution (local optimum)4 / 40
![Page 5: Lambert Roadef 2008](https://reader033.vdocuments.net/reader033/viewer/2022060117/5584c5e3d8b42af8138b47f7/html5/thumbnails/5.jpg)
SOLVING CSP HYBRID SOLVING : NEED A FRAMEWORK INTEGRATE SPLIT IN GI TO AN UNIFORM FRAMEWORK CONCLUSION
Outline
Solving CSP
Hybrid solving : need a framework
Integrate split in GI
To an uniform framework
Conclusion
5 / 40
![Page 6: Lambert Roadef 2008](https://reader033.vdocuments.net/reader033/viewer/2022060117/5584c5e3d8b42af8138b47f7/html5/thumbnails/6.jpg)
SOLVING CSP HYBRID SOLVING : NEED A FRAMEWORK INTEGRATE SPLIT IN GI TO AN UNIFORM FRAMEWORK CONCLUSION
First approach
Complete Methods
• Search space : Dx1 × · · · × Dxn
• Enumerate all assignments
Backtracking
• search (backtrack)• Select variables• Split / enumeration
6 / 40
![Page 7: Lambert Roadef 2008](https://reader033.vdocuments.net/reader033/viewer/2022060117/5584c5e3d8b42af8138b47f7/html5/thumbnails/7.jpg)
SOLVING CSP HYBRID SOLVING : NEED A FRAMEWORK INTEGRATE SPLIT IN GI TO AN UNIFORM FRAMEWORK CONCLUSION
Constraint propagation : reducing domains
Generally :
• reduce domains using constraint and domains• → reduce the search space
Generic domain reduction :
• given a constraint C over x1, . . . , xn with domainsD1, . . . , Dn
• select a variable xi reduce its domain• delete from Di all values for xi that do not participate in a
solution of C
7 / 40
![Page 8: Lambert Roadef 2008](https://reader033.vdocuments.net/reader033/viewer/2022060117/5584c5e3d8b42af8138b47f7/html5/thumbnails/8.jpg)
SOLVING CSP HYBRID SOLVING : NEED A FRAMEWORK INTEGRATE SPLIT IN GI TO AN UNIFORM FRAMEWORK CONCLUSION
Constraint propagation
• constraint propagation mechanism : repeatedly reducedomains
• replace a CSP by a CSP which is :• equivalent (same set of solutions)• “smaller” (domains are reduced)
8 / 40
![Page 9: Lambert Roadef 2008](https://reader033.vdocuments.net/reader033/viewer/2022060117/5584c5e3d8b42af8138b47f7/html5/thumbnails/9.jpg)
SOLVING CSP HYBRID SOLVING : NEED A FRAMEWORK INTEGRATE SPLIT IN GI TO AN UNIFORM FRAMEWORK CONCLUSION
Second Approach
Incomplete methods
• heuristics algorithms• Metaheuristics
two families
• Local search• Simulated annealing [Kirkpatrick et al, 1983]• Tabu Search [Glover, 1986]• ...
• Evolutionary Algorithms• Genetic Algorithms [Holland, 1975]• Genetic programming [Koza, 1992]• ...
9 / 40
![Page 10: Lambert Roadef 2008](https://reader033.vdocuments.net/reader033/viewer/2022060117/5584c5e3d8b42af8138b47f7/html5/thumbnails/10.jpg)
SOLVING CSP HYBRID SOLVING : NEED A FRAMEWORK INTEGRATE SPLIT IN GI TO AN UNIFORM FRAMEWORK CONCLUSION
Incomplete methods
Definitions
• Explore a D1 × D2 × · · · × Dn search space• Move from neighbor to neighbor (resp. generation to
generation) thanks to an evaluation function• Intensification• Diversification
Properties :
• focus on some “promising” parts of the search space• does not answer to unsat. problems• no guaranteed• “fast” to find a “good” solution
10 / 40
![Page 11: Lambert Roadef 2008](https://reader033.vdocuments.net/reader033/viewer/2022060117/5584c5e3d8b42af8138b47f7/html5/thumbnails/11.jpg)
SOLVING CSP HYBRID SOLVING : NEED A FRAMEWORK INTEGRATE SPLIT IN GI TO AN UNIFORM FRAMEWORK CONCLUSION
Local search
• Search space : set of possible configurations• Tools : neighborhood and evaluation function
s 1
s 1
2s s n
2s s n s n+1
p = (
p’ = (
LS(p) = p’
,
, , ...,
, ..., )
, )
of sNeighborhood
Set ofpossibleconfigurations
ss
ss
ss
21
34
5
6
11 / 40
![Page 12: Lambert Roadef 2008](https://reader033.vdocuments.net/reader033/viewer/2022060117/5584c5e3d8b42af8138b47f7/html5/thumbnails/12.jpg)
SOLVING CSP HYBRID SOLVING : NEED A FRAMEWORK INTEGRATE SPLIT IN GI TO AN UNIFORM FRAMEWORK CONCLUSION
Genetic algorithms
• Search space : set of possible configurations• Tools : population, crossing,mutations, and evaluation
function
Population k+1
Population k
Nouvelle Population
Mutation
Croisement
12 / 40
![Page 13: Lambert Roadef 2008](https://reader033.vdocuments.net/reader033/viewer/2022060117/5584c5e3d8b42af8138b47f7/html5/thumbnails/13.jpg)
SOLVING CSP HYBRID SOLVING : NEED A FRAMEWORK INTEGRATE SPLIT IN GI TO AN UNIFORM FRAMEWORK CONCLUSION
Hybridization : getting the best of the both
• Efficiency : faster complete solver• Quality : better solutions (better optimum)• Generally :
• Ad-hoc systems (designed from scratch)• Dedicated to a class of problems• Master-slave approaches (LS for CP, CP for LS)
13 / 40
![Page 14: Lambert Roadef 2008](https://reader033.vdocuments.net/reader033/viewer/2022060117/5584c5e3d8b42af8138b47f7/html5/thumbnails/14.jpg)
SOLVING CSP HYBRID SOLVING : NEED A FRAMEWORK INTEGRATE SPLIT IN GI TO AN UNIFORM FRAMEWORK CONCLUSION
Hybridization : Overview
complete and incomplete methods combinations
collaborative combinations
integrative combinaisons
Incorporate a metaheuristic in complete methods
Incorporate a complete method in metaheuristics
14 / 40
![Page 15: Lambert Roadef 2008](https://reader033.vdocuments.net/reader033/viewer/2022060117/5584c5e3d8b42af8138b47f7/html5/thumbnails/15.jpg)
SOLVING CSP HYBRID SOLVING : NEED A FRAMEWORK INTEGRATE SPLIT IN GI TO AN UNIFORM FRAMEWORK CONCLUSION
CP for LS
s 1 s 2
s 3 s 4
s 5
s 6
Neighborhoodof s
configurationspossibleSet of
Reduced
search space
Valid neighborhoodof s
15 / 40
![Page 16: Lambert Roadef 2008](https://reader033.vdocuments.net/reader033/viewer/2022060117/5584c5e3d8b42af8138b47f7/html5/thumbnails/16.jpg)
SOLVING CSP HYBRID SOLVING : NEED A FRAMEWORK INTEGRATE SPLIT IN GI TO AN UNIFORM FRAMEWORK CONCLUSION
CP for GA
Feasible population
possibleSet of
configurations
16 / 40
![Page 17: Lambert Roadef 2008](https://reader033.vdocuments.net/reader033/viewer/2022060117/5584c5e3d8b42af8138b47f7/html5/thumbnails/17.jpg)
SOLVING CSP HYBRID SOLVING : NEED A FRAMEWORK INTEGRATE SPLIT IN GI TO AN UNIFORM FRAMEWORK CONCLUSION
Hybridization : getting the best of the both
• Idea :• fine grain hybridization• finer strategies• every technique at the same level• one algorithm squeleton• easier to modify, extend, compare, ...
17 / 40
![Page 18: Lambert Roadef 2008](https://reader033.vdocuments.net/reader033/viewer/2022060117/5584c5e3d8b42af8138b47f7/html5/thumbnails/18.jpg)
SOLVING CSP HYBRID SOLVING : NEED A FRAMEWORK INTEGRATE SPLIT IN GI TO AN UNIFORM FRAMEWORK CONCLUSION
Constraint propagation framework
Can be seen as a fixed point of application of reduction functions
• reduction function to reduce domains or constraints• can be seen as an abstraction of the constraints by
reduction functions
Chaotic iteration
• Compute a limit of a set of functions [Cousot and Cousot77]
• monotonic and inflationary functions in a generic algorithmto achieve consistency [Apt 97]
18 / 40
![Page 19: Lambert Roadef 2008](https://reader033.vdocuments.net/reader033/viewer/2022060117/5584c5e3d8b42af8138b47f7/html5/thumbnails/19.jpg)
SOLVING CSP HYBRID SOLVING : NEED A FRAMEWORK INTEGRATE SPLIT IN GI TO AN UNIFORM FRAMEWORK CONCLUSION
Abstract model K.R. Apt [CP99]For propagation (based on chaotic iterations)
Applicationof functions
Abstraction
Constraint
CSPFixed point
Partial Ordering
Reduction functions
19 / 40
![Page 20: Lambert Roadef 2008](https://reader033.vdocuments.net/reader033/viewer/2022060117/5584c5e3d8b42af8138b47f7/html5/thumbnails/20.jpg)
SOLVING CSP HYBRID SOLVING : NEED A FRAMEWORK INTEGRATE SPLIT IN GI TO AN UNIFORM FRAMEWORK CONCLUSION
Partial ordering and functionsPartial OrderingGiven a CSP (X ,D, C)
• P(D) : all possible subset from D• v : subset relation ⊇
=⇒ (P(D),v) is a partial ordering
FunctionsGiven a set F of functions on D, every f ∈ F is :• inflationary : x v f (x)
• monotonic : x v y implies f (x) v f (y)
• idempotent : f (f (x)) = f (x)
=⇒ Every sequence of elements d0 v d1 v ... with dj = fij (dj−1)stabilizes to a fix point.
20 / 40
![Page 21: Lambert Roadef 2008](https://reader033.vdocuments.net/reader033/viewer/2022060117/5584c5e3d8b42af8138b47f7/html5/thumbnails/21.jpg)
SOLVING CSP HYBRID SOLVING : NEED A FRAMEWORK INTEGRATE SPLIT IN GI TO AN UNIFORM FRAMEWORK CONCLUSION
A Generic Algorithm to reach fixpoint
for constraint propagation : ordering on size of domainswork on a CSPF = set of propagation functionsX = initial CSPG = FWhile G 6= ∅
choose g ∈ GG = G − gG = G ∪ update(G, g, X )X = g(X )
EndWhile
21 / 40
![Page 22: Lambert Roadef 2008](https://reader033.vdocuments.net/reader033/viewer/2022060117/5584c5e3d8b42af8138b47f7/html5/thumbnails/22.jpg)
SOLVING CSP HYBRID SOLVING : NEED A FRAMEWORK INTEGRATE SPLIT IN GI TO AN UNIFORM FRAMEWORK CONCLUSION
Theoretical model for CSP solving
Reduction : by constraint propagation :
’
Ω Ω’
CSP1 CSP3Ω
CSP2’ CSP3CSP1Ω
Constraint Propagation
CSP2
22 / 40
![Page 23: Lambert Roadef 2008](https://reader033.vdocuments.net/reader033/viewer/2022060117/5584c5e3d8b42af8138b47f7/html5/thumbnails/23.jpg)
SOLVING CSP HYBRID SOLVING : NEED A FRAMEWORK INTEGRATE SPLIT IN GI TO AN UNIFORM FRAMEWORK CONCLUSION
Theoretical model for CSP solving
Reduction by domain splitting :
’
Ω Ω’
CSP1 CSP2’ CSP2’’’CSP2’’ CSP3Ω
CSP1 CSP3ΩSplit
CSP2
23 / 40
![Page 24: Lambert Roadef 2008](https://reader033.vdocuments.net/reader033/viewer/2022060117/5584c5e3d8b42af8138b47f7/html5/thumbnails/24.jpg)
SOLVING CSP HYBRID SOLVING : NEED A FRAMEWORK INTEGRATE SPLIT IN GI TO AN UNIFORM FRAMEWORK CONCLUSION
Theoretical model for CSP solvingPartial ordering :
Ω1
Ω2
Ω3
Ω4
Ω5
Terminates with a fixed point : set of solutions or inconsistent CSP
Set of CSP
Application of a reduction :
domain reduction function or
splitting function
24 / 40
![Page 25: Lambert Roadef 2008](https://reader033.vdocuments.net/reader033/viewer/2022060117/5584c5e3d8b42af8138b47f7/html5/thumbnails/25.jpg)
SOLVING CSP HYBRID SOLVING : NEED A FRAMEWORK INTEGRATE SPLIT IN GI TO AN UNIFORM FRAMEWORK CONCLUSION
Motivation
• But : GA + CP + LS ?
=⇒ Notion of sample 6= generation=⇒ Need to consider sample and individual at the same level :CSP level
25 / 40
![Page 26: Lambert Roadef 2008](https://reader033.vdocuments.net/reader033/viewer/2022060117/5584c5e3d8b42af8138b47f7/html5/thumbnails/26.jpg)
SOLVING CSP HYBRID SOLVING : NEED A FRAMEWORK INTEGRATE SPLIT IN GI TO AN UNIFORM FRAMEWORK CONCLUSION
Motivation
Reducedsearch space Set of
possibleconfigurations
Valid neighborhoodof s
26 / 40
![Page 27: Lambert Roadef 2008](https://reader033.vdocuments.net/reader033/viewer/2022060117/5584c5e3d8b42af8138b47f7/html5/thumbnails/27.jpg)
SOLVING CSP HYBRID SOLVING : NEED A FRAMEWORK INTEGRATE SPLIT IN GI TO AN UNIFORM FRAMEWORK CONCLUSION
Motivation
Valid neighborhoodof s
Reducedsearch space Set of
possibleconfigurations
26 / 40
![Page 28: Lambert Roadef 2008](https://reader033.vdocuments.net/reader033/viewer/2022060117/5584c5e3d8b42af8138b47f7/html5/thumbnails/28.jpg)
SOLVING CSP HYBRID SOLVING : NEED A FRAMEWORK INTEGRATE SPLIT IN GI TO AN UNIFORM FRAMEWORK CONCLUSION
Search Tree
propagation
split
propagation
split
propagation
split
propagation
CSP1
CSP1’
CSP2 CSP3
CSP2’ CSP3
CSP4 CSP5 CSP3
CSP4 CSP5 CSP3’
CSP5 CSP7 CSP8CSP6’
CSP4 CSP5 CSP6 CSP7 CSP8
27 / 40
![Page 29: Lambert Roadef 2008](https://reader033.vdocuments.net/reader033/viewer/2022060117/5584c5e3d8b42af8138b47f7/html5/thumbnails/29.jpg)
SOLVING CSP HYBRID SOLVING : NEED A FRAMEWORK INTEGRATE SPLIT IN GI TO AN UNIFORM FRAMEWORK CONCLUSION
Example : Local Search
CSP1 CSP3 CSP4 CSP5 CSP7 CSP8CSP2 CSP6
CSP1 CSP3 CSP4 CSP5 CSP7 CSP8CSP2 CSP6
CSP1 CSP6 CSP7 CSP8 CSP9 CSP10 CSP11 CSP12
CSP1 CSP6 CSP7 CSP8 CSP9 CSP10 CSP11 CSP12
CSP1 CSP6 CSP7 CSP8 CSP9 CSP10 CSP11 CSP12
CSP1 CSP2
CSP1 CSP3 CSP4 CSP5 CSP6 CSP7 CSP8CSP2Generate new samples
Chose a sample
Generate new samples
Chose a sample
28 / 40
![Page 30: Lambert Roadef 2008](https://reader033.vdocuments.net/reader033/viewer/2022060117/5584c5e3d8b42af8138b47f7/html5/thumbnails/30.jpg)
SOLVING CSP HYBRID SOLVING : NEED A FRAMEWORK INTEGRATE SPLIT IN GI TO AN UNIFORM FRAMEWORK CONCLUSION
Example : Genetic algorithms
CSP3 CSP4 CSP5CSP2CSP1
CSP1 CSP2 CSP6CSP3 CSP4 CSP5
CSP1 CSP3 CSP4 CSP5CSP2 CSP6 CSP7
CSP1 CSP6 CSP7CSP3 CSP4 CSP5Selection
Crossover
Mutation
29 / 40
![Page 31: Lambert Roadef 2008](https://reader033.vdocuments.net/reader033/viewer/2022060117/5584c5e3d8b42af8138b47f7/html5/thumbnails/31.jpg)
SOLVING CSP HYBRID SOLVING : NEED A FRAMEWORK INTEGRATE SPLIT IN GI TO AN UNIFORM FRAMEWORK CONCLUSION
Break up methods
Basic components
• reducing is a search component• splitting is a search component• generating a neighborhood is a search component• moving to sample is a search component
Basic behaviours
• splitting and generating a neighborhood• reducing, selecting and moving to sample
30 / 40
![Page 32: Lambert Roadef 2008](https://reader033.vdocuments.net/reader033/viewer/2022060117/5584c5e3d8b42af8138b47f7/html5/thumbnails/32.jpg)
SOLVING CSP HYBRID SOLVING : NEED A FRAMEWORK INTEGRATE SPLIT IN GI TO AN UNIFORM FRAMEWORK CONCLUSION
Basic fonctions
Sampling S :P(〈X , C,P(D1)× · · · × P(Dn)〉)
→ P(〈X , C,P(D1)× · · · × P(Dn)〉)
φ1, . . . , φn 7→ φ1, . . . , φn, φn+1
s.t. ∃φi with φi v φn+1
31 / 40
![Page 33: Lambert Roadef 2008](https://reader033.vdocuments.net/reader033/viewer/2022060117/5584c5e3d8b42af8138b47f7/html5/thumbnails/33.jpg)
SOLVING CSP HYBRID SOLVING : NEED A FRAMEWORK INTEGRATE SPLIT IN GI TO AN UNIFORM FRAMEWORK CONCLUSION
Basic fonctions
Reducing R :P(〈X , C,P(D1)× · · · × P(Dn)〉)
→ P(〈X , C,P(D1)× · · · × P(Dn)〉)
φ1, . . . , φi , . . . , φn 7→ φ1, . . . , φ′i , . . . , φn
Where φ′i = ∅ or φ = 〈X , C, Di〉 and φ′ = 〈X , C, D′
i 〉 s.t. D′i ⊆ Di .
32 / 40
![Page 34: Lambert Roadef 2008](https://reader033.vdocuments.net/reader033/viewer/2022060117/5584c5e3d8b42af8138b47f7/html5/thumbnails/34.jpg)
SOLVING CSP HYBRID SOLVING : NEED A FRAMEWORK INTEGRATE SPLIT IN GI TO AN UNIFORM FRAMEWORK CONCLUSION
Reduction functions (1)
Domain reduction (DR)
φ1, . . . , φi , . . . , φn →DR φ1, . . . , φ′i , . . . , φn
Where DR = Rm with m > 0
Split (SP)
φ1, . . . , φi , . . . , φn →SP φ1, . . . , φ1i , . . . , φ
mi , . . . , φn
Where SP = SmR
Local Search (LS)
φ1, . . . , φi , . . . , φn →LS φ1, . . . , φ′i , . . . , φn
Where LS = SmRm−1
33 / 40
![Page 35: Lambert Roadef 2008](https://reader033.vdocuments.net/reader033/viewer/2022060117/5584c5e3d8b42af8138b47f7/html5/thumbnails/35.jpg)
SOLVING CSP HYBRID SOLVING : NEED A FRAMEWORK INTEGRATE SPLIT IN GI TO AN UNIFORM FRAMEWORK CONCLUSION
Reduction functions (2) Genetic Algorithms
Crossoverφ1, . . . , φn →CR φ1, . . . , φn, φn+1Where CR = S
Mutationφ1, . . . , φi , . . . , φn →MU φ1, . . . , φ
′i , . . . , φn
Where MU = SR
Selectionφ1, . . . , φn →SE φ1, . . . , φ
′n
Where SE = Rm.
34 / 40
![Page 36: Lambert Roadef 2008](https://reader033.vdocuments.net/reader033/viewer/2022060117/5584c5e3d8b42af8138b47f7/html5/thumbnails/36.jpg)
SOLVING CSP HYBRID SOLVING : NEED A FRAMEWORK INTEGRATE SPLIT IN GI TO AN UNIFORM FRAMEWORK CONCLUSION
Examples
Memetic Algorithmsnbc samples are generated then some are used in a localsearch process and finaly the population is reduced.
( S ( Snbc p
Rp
)nbmut
) Rtaillepop
( )
local search
Restrict population
Generate Samples (crossover)
n times
n
35 / 40
![Page 37: Lambert Roadef 2008](https://reader033.vdocuments.net/reader033/viewer/2022060117/5584c5e3d8b42af8138b47f7/html5/thumbnails/37.jpg)
SOLVING CSP HYBRID SOLVING : NEED A FRAMEWORK INTEGRATE SPLIT IN GI TO AN UNIFORM FRAMEWORK CONCLUSION
Examples
Hybrid AlgorithmsLocal search, domains reduction, genetic algorithm and splitare executed sequentially.
LSn
( DR* mSP
l)*
Domain reduction
GA
Genetic Algorithm
Local Search
SplitUntil it reached a solution/all solutions/inconsistency
36 / 40
![Page 38: Lambert Roadef 2008](https://reader033.vdocuments.net/reader033/viewer/2022060117/5584c5e3d8b42af8138b47f7/html5/thumbnails/38.jpg)
SOLVING CSP HYBRID SOLVING : NEED A FRAMEWORK INTEGRATE SPLIT IN GI TO AN UNIFORM FRAMEWORK CONCLUSION
Properties
• a strategy is a sequence of words∈ DR, SP, LS, SE , CR, MU
• is it finite sequences ?• need conditions to avoid loops
37 / 40
![Page 39: Lambert Roadef 2008](https://reader033.vdocuments.net/reader033/viewer/2022060117/5584c5e3d8b42af8138b47f7/html5/thumbnails/39.jpg)
SOLVING CSP HYBRID SOLVING : NEED A FRAMEWORK INTEGRATE SPLIT IN GI TO AN UNIFORM FRAMEWORK CONCLUSION
Conclusion
• A generic model for hybridizing complete (CP) andincomplete (LS and GA) methods
• Implementation of modules working on the same structure• Complementarity of methods : hybridization
38 / 40
![Page 40: Lambert Roadef 2008](https://reader033.vdocuments.net/reader033/viewer/2022060117/5584c5e3d8b42af8138b47f7/html5/thumbnails/40.jpg)
SOLVING CSP HYBRID SOLVING : NEED A FRAMEWORK INTEGRATE SPLIT IN GI TO AN UNIFORM FRAMEWORK CONCLUSION
Modèle d’hybridation pour la résolution de CSPROADEF 2008, Clermont-Ferrand, France
Tony LAMBERT
LIFO, Rue Léonard de Vinci 45067 ORLEANS
Mercredi 27 février 2008
39 / 40