Tutorial CP03

Gérard Verfaillie, Narendra Jussien

Description

Dynamic Constraint SolvingHandling Change and Uncertaintyin Constraint SatisfactionG´erard Verfaillie, LAAS-CNRS, Toulouse, FranceNarendra Jussien, EMN, Nantes, Francewww.emn.fr/jussien/CP03tutorialTutorial CP 2003, Dynamic Constraint Solving, 03/10/03, Cork, IrelandThe contributorsJ.Amilhastre P.Barahona R.Bart´ak S.Beale C.Beck A.Bellicha T.Benoist P.Berlandier C.Bessi`ereJ.Bidot P.Boizumault A.Borning E.Bourreau J.Branke J.Bresina K.Brown B.Carlson Y.Caseau A.CestaS.Chien C.Chiu C.Chou P.Codognet J.Conley C.Conway R.Cucchiara B.Daun A.Davenport P.DavidE.Davis M.Deale R.Debruyne A.Dechter R.Dechter M.Drummond A.Elkhyari H.El Sakkout F.FagesB.Falkenhainer B.Faltings H.Fargier G.Ferrand D.Fowler J.Fowler B.Freeman-Benson E.FreuderM.Fromherz M.Gavanelli C.Gefflot Y.Georget C.Gervet U.Geske M.Ginsberg T.Gruenhagen C.Gu´eretE.Hebrard B.Hnich P.Jarvis P.J´egou H.Jung N.Jussien M.Johnston R.Knight S.Kulkarni P.LairdE.Lamma J.Lang M.Lauvergne H.Leung Y.Leung M.Littman J.Lee T.Le Provost D.Lesaint W.LesaintO.Lhomme S.Macho-Gonzalez S.Majercik J.Maloney S.Manandhar P.Marquis K.Marriott D.MattfeldF.Menezes I.Miguel M.Milano S.Mittal P.Mello S.Minton P.Modi U.Montanari P.Morris P.MoulderC.Muller T.Muller N.Muscettola B.Neveu A.Oddi S.Ouis A.Parkes A.Philips M.Piccardi T.Pitassi¨N.Policella P.Prosser L.Purvis Y.Qu G.Rabideau Y.Ran G.Ringwelski N.Roos F.Rossi B.RottembourgA.Roy H.Rudov´a M.Sannella T.Schiex H.Schlenker Q.Shen W.Shen R.Sherwood S.Smith T.SolaA ...

Informations

• Publié par: Vewyur
• Nombre de lectures: 16
• Langue: English

Extrait

Dynamic Constraint Solving

Handling Change and Uncertainty in Constraint Satisfaction

G´erardVerfaillie,LAAS-CNRS,Toulouse,France Narendra Jussien, EMN, Nantes, France

www.emn.fr/jussien/CP03tutorial

Tutorial CP 2003, Dynamic Constraint Solving, 03/10/03, Cork, Ireland

The contributors

J.AmilhastreP.BarahonaR.Barta´kS.BealeC.BeckA.BellichaT.BenoistP.BerlandierC.Bessi`ere J.Bidot P.Boizumault A.Borning E.Bourreau J.Branke J.Bresina K.Brown B.Carlson Y.Caseau A.Cesta S.Chien C.Chiu C.Chou P.Codognet J.Conley C.Conway R.Cucchiara B.Daun A.Davenport P.David E.Davis M.Deale R.Debruyne A.Dechter R.Dechter M.Drummond A.Elkhyari H.El Sakkout F.Fages B.Falkenhainer B.Faltings H.Fargier G.Ferrand D.Fowler J.Fowler B.Freeman-Benson E.Freuder M.FromherzM.GavanelliC.GefflotY.GeorgetC.GervetU.GeskeM.GinsbergT.GruenhagenC.Gue´ret E.Hebrard B.Hnich P.Jarvis P.J´ u H.Jung N.Jussien M.Johnston R.Knight S.Kulkarni P.Laird ego E.Lamma J.Lang M.Lauvergne H.Leung Y.Leung M.Littman J.Lee T.Le Provost D.Lesaint W.Lesaint O.Lhomme S.Macho-Gonzalez S.Majercik J.Maloney S.Manandhar P.Marquis K.Marriott D.Mattfeld F.Menezes I.Miguel M.Milano S.Mittal P.Mello S.Minton P.Modi U.Montanari P.Morris P.Moulder C.MullerT.M ¨ ullerN.MuscettolaB.NeveuA.OddiS.OuisA.ParkesA.PhilipsM.PiccardiT.Pitassi N.Policella P.Prosser L.Purvis Y.Qu G.Rabideau Y.Ran G.Ringwelski N.Roos F.Rossi B.Rottembourg A.RoyH.Rudova´M.SannellaT.SchiexH.SchlenkerQ.ShenW.ShenR.SherwoodS.SmithT.Sola A.Stechert P.Stuckey K.Swanson M.Tambe A.Tarim A.Tessier G.Trombettoni I.Tsamardinos J.Van Den Herik P.Van Hentenryck B.Venable G.Verfaillie T.Vidal M.Wallace R.Wallace T.Walsh A.Wolf N.Yorke-Smith M.Zweden.

Tutorial CP 2003, Dynamic Constraint Solving, 03/10/03, Cork, Ireland

1

Tutorial

1.Settingandrequirements;

2.Reactivemethods:

(a)solutionreuse; (b)reasoningreuse;

3.Proactivemethods:

(a)robustsolutions; (b)flexiblesolutions;

4.Research directions.

Tutorial CP 2003, Dynamic Constraint Solving, 03/10/03, Cork, Ireland

outline

2

Tutorial

1.Settingandrequirements⇐

2.Reactivemethods:

(a)solutionreuse; (b)reasoningreuse;

3.Proactivemethods:

(a)robustsolutions; (b)flexiblesolutions;

4.Research directions.

Tutorial CP 2003, Dynamic Constraint Solving, 03/10/03, Cork, Ireland

outline

3

Tutorial

CP

2003,

Constraint

Dynamic

solving

in

Constraint Solving, 03/10/03, Cork, Ireland

a

dynamic

setting

4

Tutorial

CP

2003,

Dynamic

Constraint

Solving,

A

dynamic

03/10/03,

Cork,

Ireland

world

5

Tutorial

CP

2003,

Dynamic

A

Constraint

dynamic

Solving,

03/10/03,

Cork,

reasoning

Ireland

system

6

Tutorial

CP

2003,

Dynamic

A

Constraint

reasoning

Solving,

03/10/03,

Cork,

system

Ireland

supervisor

7

Tutorial

CP

2003,

Dynamic

A

Constraint

dynamic

Solving,

03/10/03,

problem

Cork,

Ireland

definition

8

Tutorial

CP

2003,

Dynamic

Constraint

A

dynamic

Solving,

03/10/03,

Cork,

problem

Ireland

solving

9

Tutorial

CP

2003,

Dynamic

Constraint

A

dynamic

Solving,

03/10/03,

Cork,

problem

Ireland

solution

10