M. S. Bibliographie, &. K. Aktur, and . Kiliç, Generating short-term observation schedules for space mission projects, Applegate & Cook 91] D. Applegate & W. Cook. A computational study of the job-shop scheduling problem, pp.387-404, 1991.

&. Baptiste, ]. P. Le-pape-96, &. Baptiste, P. Pape, L. Baptiste et al., A Branch an Bound to minimize the number of late jobs on a single machine with release time constraints Flight string models for aircraft fleeting and routing Branch and price : column generation for solving huge integer programs Partitioning procedures for solving mixed variables programming problems, Proc. of U.K. planning and scheduling SIG meeting, pp.1-11, 1962.

T. Benoist and &. B. Rottembourg, Calcul de bornes supérieures du revenu d'un satellite d'observation. In 5ème Congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF'2003), février 2003. [Bensana et al. 99] E. Bensana, M. Lemaître & G. Verfaillie. Earth observation satellite management. Constraints, pp.26-28, 1999.

J. Blazewicz, K. H. Ecker, E. Pesch, G. Schmidt, and &. J. Weglarzbresina, Optimizing observation scheduling objectives In 1st NASA Workshop on Planning and Scheduling for Space Planification et maintien à poste de constellations de satellites : modélisation, optimisation, simulation The job shop scheduling problem and immediate selections [Camalot 00] J.P. Camalot Aide à la décision et à la coopération en gestion du temps et des ressources Adjustment of heads and tails for the jobshop problem [Carlier 75] J. Carlier. Ordonnancement à contraintes disjonctives Interaction services for mission planning in Mars-Express MEXAR: An Intelligent Support for Space Mission Planning, Thèse Thèse, Institut National des Sciences Appliquées Thèse de troisième cycleCaseau 03] Y. Caseau. Challenge ROADEF03 : Combinaison de Propagation de Contraintes et de Métaheuristiques 5ème Congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF'2003) ? Challenge ROADEF'2003 3rd NASA Workshop on Planning and Scheduling for Space Proceedings of the Workshop on AI Planning and Scheduling for Autonomy in Space Applications Coopération entre génération de colonnes avec tournées sans cycle et recherche locale appliquée au routage de véhicules Actes de JNPC'02Chabrier 99] A. Chabrier. Une approche coopérative PPC-PL pour le problème de génération de pairings. In 2ème Congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF'99) janvier 1999. [Chang et al. 95] H.S. Chang, B.W. Kim, c.G. Lee, Y. Choi, H.S. Yang S.L. Min & C.S. Kim. Topological design and routing for low earth orbit satellite networks. IEEE Globecom, pp.73-114, 1975.

&. Cordeau, ]. J. Laporte-03, &. G. Cordeau, and . Laporte, Une méthode de recherche abec tabous pour la gestion de la mission de satellites d'observation de la Terre In 5ème Congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF'2003) ? Challenge ROADEF Modélisation par réseaux de Petri et optimisation des handovers dans les constellations de satellitaires, février 2003. [Dafir 99] M. Dafir, pp.26-28, 1999.

&. Givry, ]. S. Jeannin-03, &. L. De-givry, and . Jeannin, Modélisation et résolution en programmation par contraintes, 5ème Congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF'2003) ? Challenge ROADEF'2003, pp.26-28, 2003.

&. Debruyne, . Bessière-97-]-r, &. C. Debruyne, and . Bessièredechter, Some practical filtering techniques for the constraint satisfaction Temporal constraint networks [Demassey 03] S. Demassey. Méthodes hybrides de programmation par contraintes et programmation linéaire pour le problème d'ordonnancement de projet à contraintes de ressources Daily aircraft routing and scheduling, Proc. of the 15 th IJCAIDesaulniers et al. 99] G. Desaulniers, J. Desrosiers & M.M. Solomon. Accelerating strategies in column generation methods for vehicle routing and crew scheduling problems. Les cahiers du GERAD, pp.412-417, 1991.

&. F. Desrochers and . Soumis, A Generalized Permanent Labelling Algorithm For The Shortest Path Problem With Time Windows, INFOR: Information Systems and Operational Research, vol.26, issue.3, pp.191-212, 1988.
DOI : 10.1080/03155986.1988.11732063

M. Desrochers, J. Desrosiers, and &. M. Solomon, A New Optimization Algorithm for the Vehicle Routing Problem with Time Windows, Operations Research, vol.40, issue.2, pp.342-354, 1992.
DOI : 10.1287/opre.40.2.342

J. Desrosiers, F. Soumis, &. M. Desrochers, P. Lopez, and &. J. Huguet, Routing with time windows by column generation Analyse sous contraintes et aide à la décision pour certains problèmes d'ordonnancement, Erschler 76] J. Erschler, pp.545-565, 1976.

&. D. Estlin, D. Gaines, P. Feillet, M. Dejax, &. C. Gendreau et al., An optimization framework for independent planning goals An exact algorithm for the elementary shortest path problem with resource constraints : application to some vehicle routing problems. submitted to Networks An Optimization model for routing in low earth orbit satellite constellation Topological design, routing and hand-over in satellite networks Re-routing algorithms in a meshed satellite constellation, 6th International Conference on Artificial Intelligence Planning and Scheduling International Symposium on Parallel Architectures Handbook of Wireless Networks and Mobile Computing, pp.169-174, 2000.

J. Frank, A. Jónsson, R. Morris, and &. D. Smith, Planning and scheduling for fleets of Earth observing satellites Robotics and Automation in Space (i-SAIRAS ASPEN : A framework for automated planning and scheduling of spacecraft control and operations, 6th International Symposium on Artificial Intelligence International Symposium on Artificial Intelligence , Robotics and Automation in Space (i-SAIRAS), 1997.

V. Gabrel and &. D. Vanderpooten, Enumeration and interactive selection of efficient paths in a multiple criteria graph for scheduling an earth observing satellite, Gabrel 99] V. Gabrel Rapport LIPN, janv 1999. [Garey & Johnson 79] M.R. Garey & D.S. Johnson. Computers and intractability, a guide to the theory of NP-Completeness, pp.533-542, 1979.
DOI : 10.1016/S0377-2217(01)00188-6

&. Gilmore, . C. Gomory-61-]-p, &. E. Gilmore, and . Gomory, A Linear Programming Approach to the Cutting-Stock Problem, Operations Research, vol.9, issue.6, pp.849-859, 1961.
DOI : 10.1287/opre.9.6.849

&. Gilmore, . C. Gomory-63-]-p, &. E. Gilmore, and . Gomory, A Linear Programming Approach to the Cutting Stock Problem???Part II, Operations Research, vol.11, issue.6, pp.863-888, 1963.
DOI : 10.1287/opre.11.6.863

&. Gilmore, . C. Gomory-65-]-p, &. E. Gilmore, B. L. Gomory, L. Golden et al., Multistage cutting-stock problems in two or more dimensions The Orienteering Problem Linear programming, Handbooks in operations research and management science, pp.94-120, 1958.

G. Gutin, &. A. Habet, and &. M. Vasquez, The traveling salesman problem and its variations Tabu algorithm on a saturated and consistent neighborhood for selecting and scheduling photographs of agile Earth observing satellite Maximizing the value of a space mission Task scheduling for satellite based imagery, Graphes et algorithmes. Eyrolles 18th Workshop of UK Planning and Scheduling Special Interest Group, pp.11-14, 1994.

&. Harvey, ]. W. Ginsberg-95, &. Harvey, R. Jaumard, &. M. Morales et al., Limited Discrepancy Search Gestion optimisée des prises de vues d'un satellite par une méthode de recherche tabou Progress in linear programming-based algorithms for integer programming : an exposition Planning in interplanetary space : theory and practice, 14th IJCAI 5ème Congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision 5th International Conference on Artificial Intelligence Planning and Scheduling (AIPS'00), pp.607-615, 1984.

L. G. Khachian, V. Klee, &. G. Minty-]-e, and . Kuipers, A polynomial algorithm in linear programming How good is the simplex algorithm An algorithm for selecting and timetabling requests for an Earth Observation Satellite, Shisha Os, éditeur, Inequalities III Décembre 2003. [Laburthe 98] F. Laburthe. Contraintes et algorithmes en optimisation combinatoire Thèse de doctorat Institut National des Sciences Appliquées, pp.191-194, 1972.

&. Laporte, . Martello-90-]-g, &. S. Laporte, . Martello-]-g, J. Laporte et al., The selective travelling salesman problem, Discrete Applied Mathematics, vol.26, issue.2-3, pp.193-207, 1970.
DOI : 10.1016/0166-218X(90)90100-Q

&. Lübbecke, . E. Desrosiers-02-]-m, &. J. Lübbecke, and . Desrosiers, Selected Topics in Column Generation, Operations Research, vol.53, issue.6, 2002.
DOI : 10.1287/opre.1050.0234

C. and L. Pape, Constraint-Based Programming for scheduling : an historical perspective Working paper [Lebbar 00] M. Lebbar. Résolution de problèmes combinatoires dans l'industrie , apport de la programmation mathématique et des techniques de décomposition [Lee & Park 01] T. Lee & S. Park. An integer programming approach to the time slot assignment problem in SS/TDMA systems with intersatellite links, Thèse de doctorat, pp.57-66, 1994.

M. Lemaître, G. Verfaillie, F. Jouhaud, J. M. Lachiver, &. N. Bataille et al., Selecting and scheduling observations of agile satellites, Aerospace Science and Technology, vol.6, issue.5, pp.367-381, 1963.
DOI : 10.1016/S1270-9638(02)01173-2

&. Lopez, . Roubellat-01-]-p, &. Lopez, and P. Hermes, Approche énergétique pour l'ordonnancement de tâches sous contraintes de temps et de ressources Approche par contraintes des problèmes d'ordonnancement et d'affectation : structures temporelles et mécanismes de propagation Habilitation à Diriger des Recherches Formalisation des besoins d'optimisation de la boucle de programmation Netlander Formalisation des besoins pour la spécification fonctionnelle d'un outil d'aide à l'élaboration de plans de travail dans le cadre du projet Netlander. Contrat CNES, rapport LAAS No 01473 Approaches for the optimization of the resources management in a satellite constellation Robotics and Automation in Space (i-SAIRAS Optimization of the resource management in a satellite constellation: Progressive approaches and perspective for a hybrid global method Valette. Relationships between Petri nets and constraint graphs: application to manufacturing Résolution intégrée d'ordonnancement et d'affectation : adaptation d'une méthode de recherche à divergence limitée à une approche fondée sur les réseaux de Petri et la logique linéaire, Thèse de Doctorat dec 2003. [Mancel & Saleman 01] C. Mancel & M. Saleman 6th International Symposium on Artificial Intelligence 2nd International Workshop on Satellite Constellations and Formation Flying 15th IFAC World congress on Automatic Control 4ème Conférence Francophone de MOdélisation et SIMulation (MOSIM'03) 4ème Conférence Francophone de MOdélisation et SIMulation (MOSIM'03)Mancel 00] C. Mancel. Optimisation de la gestion de ressources dans des constellations de satellites, pp.453-48101, 1991.

H. Marchand, A. Martin, R. Weismantel, &. L. Wolsey, O. Marsal et al., Cutting planes in integer and mixed integer programming. CORE discussion paper, oct 1999 Netlander Mission and System Technical Specification. rapport CNES MARS- TS-00-026-CNES Dynamic programming and strong bounds for the 0-1 knapsack problem New trends in exact algorithms for the 0-1 knapsack problem A new approach to computing optimal schedules for the job-shop scheduling problem, Mancel. A column generation approach for Earth observing satellites 2nd Operational Research Peripatetic Postgraduate Programme Conference (ORP3)Marsal et al. 01] Proc. of the 5 th International Conference on Integer Programming and Combinatorial Optimization, IPCO'96 W.H. Cunningham, S.T. McCormick, and M. Queyranne (editors), pp.337-349, 1996.

. Merle, Stabilized column generation, Minoux 83b] M. Minoux. Programmation mathématique, théorie et algorithmes, tome 2. DunodMuscettola et al. 95] N. Muscettola, pp.229-237, 1983.
DOI : 10.1016/S0012-365X(98)00213-1

É. Eaton, Robotic Telescopes: current capabilities, present developpements and future prospects for automated astronomy, Astronomical Society of the Pacific, 1995.

G. L. Nemhauser, &. L. Wolsey, G. L. Nemhauser, &. L. Wolsey-oddi, N. Policella et al., Integer programming Handbooks in operations research and management science Time and resource constrained scheduling -A constraint satisfaction approach Generating high quality schedules for spacecraft memory downlink problem Using Reduced Costs for solving the Zero/One Multiple Knapsack Problem Toward scheduling over-constrained remotesensing satellites, Nuijten 94] W.P.M. Nuijten Principles and practice of Constraint ProgrammingOliva et al. 01] C. Oliva, P. Michelon & C. Artigues. Constraint and Linear Programming International Conference on Constraint Programming , Workshop on Cooperative Solvers in Constraint Programming (CoSolv 01) Oliva. Techniques hybrides de propagation de contraintes et de programmation mathématique Thèse de doctoratPaschos et al. 01] V. Paschos, C. Murat & V. Gabrel. La Recherche Opérationnelle 2nd NASA Workshop on Planning and Scheduling for Space, pp.447-528, 1988.

R. Pradin-chézalviel, &. L. Valette, . R. Künzle, R. A. Pratt, C. E. Raines et al., Scenario duration characterization of t-timed Petri nets using linear logic An operational and performance overview of the IRIDIUM low earth orbit satellite system, 8th International Workshop on Petri Nets and Performance Models (IEEE PNPM'99), pp.208-217, 1999.

P. Richard, Deux problèmes d'ordonnancement en télécommunications par satellite [Ribeiro & Soumis 94] C.C. Ribeiro & F. Soumis. A column generation approach to the multiple-depot vehicle scheduling problem Contribution des réseaux de Petri à l'étude de problèmes de recherche opérationnelle Artificial intelligence : A modern approach, Thèse de DoctoratPrins 91] C. PrinsPrins 94] C. Prins. Algorithmes de graphes. EyrollesRibeiro 03] F.P. Ribeiro. ROADEF Challenge 2003-System Description. In 5ème Congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF'2003) ? Challenge ROA- DEF'2003 Thèse de doctorat Mars Network Performance Evaluation Tools. 19 th AIAA International Communications Satellite Systems Conference, pp.341-358, 1991.

D. Sabin, &. E. Freuder, H. Schiex, &. G. Fargier, and . Verfaillie, Contradicting conventional wisdom in constraint satisfaction [Savelsbergh 97] M. Savelsbergh. A branch-and-price algorithm for the generalized assignment problem Valued Constraint Satisfaction Problems: hard and easy problems, Proc. of PPCP-94 International joint Conference in Artificial Intelligence (IJCAI 95), pp.831-841, 1994.

E. Schwalb, &. R. Dechter, D. E. Smith, J. Frank, &. K. Jónsson et al., Processing disjunctions in temporal constraint networks Bridging the gap between Planning and Scheduling Earliness-tardiness scheduling with setup considerations. to appear in Computers and operations research Skybridge : un réseau multimédia haute vitesse par satellite. Revue de l'électricité et de l'électronique, Sourisse & Sorre 97] P. Sourisse & H. Sorre, pp.29-61, 1996.

. Van-den and . Akker, Time-indexed formulations for machine scheduling problems : column generation LP-based solution methods for single-machine scheduling problems The Netherlands Branch-and-price algorithms for the one-dimensional cutting stock problem, Informs Journal on Computing Computational Optimization and Applications, vol.12, issue.9 3, pp.111-125, 1994.

F. Vanderbeck, &. L. Wolsey, M. Vasquez, and &. J. Hao, An exact algorithm for IP column generation [Vanderbeck 00] F. Vanderbeck. On Dantzig-Wolfe decomposition in integer programming and ways to perform branching in a branch-and-price algorithm A logic-Constrained knapsack formulation and a Tabu Algorithm for the daily photograph scheduling of an Earth Observation satellite, Operations research letters Operations Research Journal of Combinatorial Optimization and Applications, vol.19, issue.20 2, pp.151-159, 1996.

M. Vasquez and &. J. Hao, Upper bounds for the SPOT 5 daily photograph scheduling problem, Journal of Combinatorial Optimization, vol.7, issue.1, pp.87-103, 2003.
DOI : 10.1023/A:1021950608048

URL : https://hal.archives-ouvertes.fr/hal-00359381

M. Vasquez, Y. Vimont, and &. J. Vlasak, Algorithmes approchés pour la résolution du problème de planification d'un satellite agile, 5ème Congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF'2003) ? Challenge ROADEF'2003, pp.26-28, 2003.

G. Verfaillie and &. E. Bensana, Évaluation d'algorithmes sur le problème de programmation journalière des prises de vues du satellite d'observation SPOT5 Russian Doll Search for solving constraint optimization problems, 13th National Conference on Artificial Intelligence, pp.182-187, 1996.

M. Wallace, &. J. Schimpf, E. Wild, G. Parmentier, P. F. Dutot et al., Finding the right hybrid algorithm ? A combinatorial meta-problem Challenge ROADEF'03 Gestion de la mission de satellites d'observation de la Terre Three scheduling algorithms applied to the Earth observing systems domain, 5ème Congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF'2003) ? Challenge ROADEF'2003, pp.259-269, 1998.
DOI : 10.1023/A:1014450507312