Gérard Verfaillie

58 papers A* 9A 17B 4Journal 19Unranked 7

Year	Rank	Type	Title / Venue / Authors
2016	J	`jnl`	Adaptable Data Download Schedules for Agile Earth-Observing Satellites. J. Aerosp. Inf. Syst. Adrien Maillard, Gérard Verfaillie, Cédric Pralet, Jean Jaubert, Isabelle Sebbag, Frédéric Fontanari, Julien L'Hermitte
2016	J	`jnl`	Approximation of the parallel machine scheduling problem with additional unit resources. Discret. Appl. Math. Emmanuel Hebrard, Marie-José Huguet, Nicolas Jozefowiez, Adrien Maillard, Cédric Pralet, Gérard Verfaillie
2014	A*	`conf`	Satellite Data Download Management with Uncertainty about the Generated Volumes. ICAPS Cédric Pralet, Gérard Verfaillie, Adrien Maillard, Emmanuel Hebrard, Nicolas Jozefowiez, Marie-José Huguet, Thierry Desmousceaux, Pierre Blanc-Paques, Jean Jaubert
2014	A*	`conf`	Time-Dependent Simple Temporal Networks: Properties and Algorithms. ICAPS Cédric Pralet, Gérard Verfaillie
2013	A*	`conf`	Dynamic Online Planning and Scheduling Using a Static Invariant-Based Evaluation Model. ICAPS Cédric Pralet, Gérard Verfaillie
2013	J	`jnl`	Time-dependent Simple Temporal Networks: Properties and Algorithms. RAIRO Oper. Res. Cédric Pralet, Gérard Verfaillie
2012	B	`conf`	Combining Static and Dynamic Models for Boosting Forward Planning. CPAIOR Cédric Pralet, Gérard Verfaillie
2012	J	`jnl`	From influence diagrams to multi-operator cluster DAGs. CoRR Cédric Pralet, Thomas Schiex, Gérard Verfaillie
2012	A	`conf`	Time-Dependent Simple Temporal Networks. CP Cédric Pralet, Gérard Verfaillie
2011	J	`jnl`	An Algebraic Graphical Model for Decision with Uncertainties, Feasibilities, and Utilities CoRR Cédric Pralet, Thomas Schiex, Gérard Verfaillie
2011	A	`conf`	Beyond QCSP for Solving Control Problems. CP Cédric Pralet, Gérard Verfaillie
2011	A	`conf`	Constraint Programming for Controller Synthesis. CP Gérard Verfaillie, Cédric Pralet
2011	J	`jnl`	Feasibility of autonomous decision making on board an agile earth-observing satellite. Comput. Intell. Grégory Beaumet, Gérard Verfaillie, Marie-Claire Charmeau
2010	A	`conf`	Constraint-Based Controller Synthesis in Non-Deterministic and Partially Observable Domains. ECAI Cédric Pralet, Gérard Verfaillie, Michel Lemaître, Guillaume Infantes
2010	J	`jnl`	Constraint-based modeling of discrete event dynamic systems. J. Intell. Manuf. Gérard Verfaillie, Cédric Pralet, Michel Lemaître
2010	J	`jnl`	How to model planning and scheduling problems using constraint networks on timelines. Knowl. Eng. Rev. Gérard Verfaillie, Cédric Pralet, Michel Lemaître
2010	A	`conf`	Knowledge Compilation Using Interval Automata and Applications to Planning. ECAI Alexandre Niveau, Hélène Fargier, Cédric Pralet, Gérard Verfaillie
2010	J	`jnl`	Le cadre PFU, un modèle et des algorithmes génériques pour la décision séquentielle incluant incertitudes, faisabilités et utilités. Tech. Sci. Informatiques Cédric Pralet, Gérard Verfaillie, Thomas Schiex
2010	J	`jnl`	Réseaux de contraintes sur des chronogrammes pour la planification et l'ordonnancement. Rev. d'Intelligence Artif. Cédric Pralet, Gérard Verfaillie
2009	—	`ch.`	Constraint Satisfaction Problems. Decision-making Process Gérard Verfaillie, Thomas Schiex
2009	A*	`conf`	Forward Constraint-Based Algorithms for Anytime Planning. ICAPS Cédric Pralet, Gérard Verfaillie
2009	—	`book`	Sequential Decision-Making Problems - Representation and Solution. Cédric Pralet, Thomas Schiex, Gérard Verfaillie
2009	A	`conf`	Slice Encoding for Constraint-Based Planning. CP Cédric Pralet, Gérard Verfaillie
2008	A*	`conf`	Using Constraint Networks on Timelines to Model and Solve Planning and Scheduling Problems. ICAPS Cédric Pralet, Gérard Verfaillie
2007	J	`jnl`	Algorithmes et complexités génériques pour différents cadres de décision séquentielle dans l'incertain. Rev. d'Intelligence Artif. Cédric Pralet, Thomas Schiex, Gérard Verfaillie
2007	J	`jnl`	An Algebraic Graphical Model for Decision with Uncertainties, Feasibilities, and Utilities. J. Artif. Intell. Res. Cédric Pralet, Gérard Verfaillie, Thomas Schiex
2007	A	`conf`	Estimation of the Minimal Duration of an Attitude Change for an Autonomous Agile Earth-Observing Satellite. CP Grégory Beaumet, Gérard Verfaillie, Marie-Claire Charmeau
2006	A	`conf`	Decision with Uncertainties, Feasibilities, and Utilities: Towards a Unified Algebraic Framework. ECAI Cédric Pralet, Gérard Verfaillie, Thomas Schiex
2006	A	`conf`	Decomposition of Multi-operator Queries on Semiring-Based Graphical Models. CP Cédric Pralet, Thomas Schiex, Gérard Verfaillie
2006	A*	`conf`	Exploiting Tree Decomposition and Soft Local Consistency In Weighted CSP. AAAI Simon de Givry, Thomas Schiex, Gérard Verfaillie
2006	A	`conf`	From Influence Diagrams to Multi-operator Cluster DAGs. UAI Cédric Pralet, Thomas Schiex, Gérard Verfaillie
2005	J	`jnl`	About the choice of the variable to unassign in a decision repair algorithm. RAIRO Oper. Res. Cédric Pralet, Gérard Verfaillie
2005	A	`conf`	An earth watching satellite constellation: how to manage a team of watching agents with limited communications. AAMAS Sylvain Damiani, Gérard Verfaillie, Marie-Claire Charmeau
2005	J	`jnl`	Constraint Solving in Uncertain and Dynamic Environments: A Survey. Constraints An Int. J. Gérard Verfaillie, Narendra Jussien
2004	J	`jnl`	Partage équitable de ressources communes. (1) Un modèle général et son application au partage de ressources satellitaires. Tech. Sci. Informatiques Hélène Fargier, Jérôme Lang, Michel Lemaître, Gérard Verfaillie
2004	J	`jnl`	Partage équitable de ressources communes. (2) Éléments de complexité et d'algorithmique. Tech. Sci. Informatiques Hélène Fargier, Jérôme Lang, Michel Lemaître, Gérard Verfaillie
2004	B	`conf`	Travelling in the World of Local Searches in the Space of Partial Assignments. CPAIOR Cédric Pralet, Gérard Verfaillie
2002	A	`conf`	Opportunistic Specialization in Russian Doll Search. CP Pedro Meseguer, Martí Sánchez-Fibla, Gérard Verfaillie
2001	A	`conf`	Selecting and Scheduling Observations for Agile Satellites: Some Lessons from the Constraint Reasoning Community Point of View. CP Gérard Verfaillie, Michel Lemaître
1999	—	`conf`	A Generic Customizable Framework for Inverse Local Consistency. AAAI/IAAI Gérard Verfaillie, David Martinez, Christian Bessière
1999	J	`jnl`	Earth Observation Satellite Management. Constraints An Int. J. E. Bensana, Michel Lemaître, Gérard Verfaillie
1999	A*	`conf`	Exploiting a Common Property Resource under a Fairness Constraint: a Case Study. IJCAI Michel Lemaître, Gérard Verfaillie, Nicolas Bataille
1999	J	`jnl`	Semiring-Based CSPs and Valued CSPs: Frameworks, Properties, and Comparison. Constraints An Int. J. Stefano Bistarelli, Ugo Montanari, Francesca Rossi, Thomas Schiex, Gérard Verfaillie, Hélène Fargier
1998	A	`conf`	Anytime Lower Bounds for Constraint Violation Minimization Problems. CP Bertrand Cabon, Simon de Givry, Gérard Verfaillie
1998	—	`conf`	Reversible DAC and Other Improvements for Solving Max-CSP. AAAI/IAAI Javier Larrosa, Pedro Meseguer, Thomas Schiex, Gérard Verfaillie
1997	—	`conf`	An Incomplete Method for Solving Distributed Valued Constraint Satisfaction Problems. AAAI Workshop: Constraints & Agents Michael Lemaître, Gérard Verfaillie
1997	A	`conf`	Bounding the Optimum of Constraint Optimization Problems. CP Simon de Givry, Gérard Verfaillie, Thomas Schiex
1996	—	`conf`	Lazy Arc Consistency. AAAI/IAAI, Vol. 1 Thomas Schiex, Jean-Charles Régin, Christine Gaspin, Gérard Verfaillie
1996	B	`conf`	Nogood Recording for Valued Constraint Satisfaction Problems. ICTAI Pierre Dago, Gérard Verfaillie
1996	—	`conf`	Russian Doll Search for Solving Constraint Optimization Problems. AAAI/IAAI, Vol. 1 Gérard Verfaillie, Michel Lemaître, Thomas Schiex
1996	A	`conf`	Using Mean Field Methods for Boosting Backtrack Search in Constraint Satisfaction Problems. ECAI Bertrand Cabon, Gérard Verfaillie, David Martinez, P. Bourret
1995	—	`conf`	Semiring-Based CSPs and Valued CSPs: Basic Properties and Comparison. Over-Constrained Systems Stefano Bistarelli, Hélène Fargier, Ugo Montanari, Francesca Rossi, Thomas Schiex, Gérard Verfaillie
1995	A*	`conf`	Valued Constraint Satisfaction Problems: Hard and Easy Problems. IJCAI (1) Thomas Schiex, Hélène Fargier, Gérard Verfaillie
1994	J	`jnl`	Nogood Recording for Static and Dynamic Constraint Satisfaction Problems. Int. J. Artif. Intell. Tools Thomas Schiex, Gérard Verfaillie
1994	A*	`conf`	Solution Reuse in Dynamic Constraint Satisfaction Problems. AAAI Gérard Verfaillie, Thomas Schiex
1994	A	`conf`	Stubborness: A Possible Enhancement for Backjumping and Nogood Recording. ECAI Thomas Schiex, Gérard Verfaillie
1993	B	`conf`	Nogood Recording for Static and Dynamic Constraint Satisfaction Problems. ICTAI Thomas Schiex, Gérard Verfaillie
1990	—	`conf`	Operations research and artificial intelligence cooperation to solve scheduling problems: the OPAL and OSCAR systems. Expert Planning Systems C. Badie, G. Bel, E. Bensana, Gérard Verfaillie