Tutorial CP03
70 Pages
English

Tutorial CP03

-

Downloading requires you to have access to the YouScribe library
Learn all about the services we offer

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 ...

Subjects

Informations

Published by
Reads 22
Language English

Exrait

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.GeotY.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