Gérard Verfaillie

According to our database, Gérard Verfaillie authored at least 54 papers between 1990 and 2016.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2016

Adaptable Data Download Schedules for Agile Earth-Observing Satellites.

Adrien Maillard, Gérard Verfaillie, Cédric Pralet, Jean Jaubert, Isabelle Sebbag, Frédéric Fontanari, Julien L'Hermitte

J. Aerosp. Inf. Syst., 2016

Approximation of the parallel machine scheduling problem with additional unit resources.

Emmanuel Hebrard, Marie-José Huguet, Nicolas Jozefowiez, Adrien Maillard, Cédric Pralet, Gérard Verfaillie

Discret. Appl. Math., 2016

2014

Satellite Data Download Management with Uncertainty about the Generated Volumes.

Cédric Pralet, Gérard Verfaillie, Adrien Maillard, Emmanuel Hebrard, Nicolas Jozefowiez, Marie-José Huguet, Thierry Desmousceaux, Pierre Blanc-Paques, Jean Jaubert

Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling, 2014

2013

Time-dependent Simple Temporal Networks: Properties and Algorithms.

Cédric Pralet, Gérard Verfaillie

RAIRO Oper. Res., 2013

Dynamic Online Planning and Scheduling Using a Static Invariant-Based Evaluation Model.

Cédric Pralet, Gérard Verfaillie

Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, 2013

2012

Combining Static and Dynamic Models for Boosting Forward Planning.

Cédric Pralet, Gérard Verfaillie

Proceedings of the Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems, 2012

Time-Dependent Simple Temporal Networks.

Cédric Pralet, Gérard Verfaillie

Proceedings of the Principles and Practice of Constraint Programming, 2012

2011

Feasibility of autonomous decision making on board an agile earth-observing satellite.

Grégory Beaumet, Gérard Verfaillie, Marie-Claire Charmeau

Comput. Intell., 2011

Constraint Programming for Controller Synthesis.

Gérard Verfaillie, Cédric Pralet

Proceedings of the Principles and Practice of Constraint Programming - CP 2011, 2011

Beyond QCSP for Solving Control Problems.

Cédric Pralet, Gérard Verfaillie

Proceedings of the Principles and Practice of Constraint Programming - CP 2011, 2011

2010

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.

Cédric Pralet, Gérard Verfaillie, Thomas Schiex

Tech. Sci. Informatiques, 2010

Réseaux de contraintes sur des chronogrammes pour la planification et l'ordonnancement.

Cédric Pralet, Gérard Verfaillie

Rev. d'Intelligence Artif., 2010

How to model planning and scheduling problems using constraint networks on timelines.

Gérard Verfaillie, Cédric Pralet, Michel Lemaître

Knowl. Eng. Rev., 2010

Constraint-based modeling of discrete event dynamic systems.

Gérard Verfaillie, Cédric Pralet, Michel Lemaître

J. Intell. Manuf., 2010

Constraint-Based Controller Synthesis in Non-Deterministic and Partially Observable Domains.

Cédric Pralet, Gérard Verfaillie, Michel Lemaître, Guillaume Infantes

Proceedings of the ECAI 2010, 2010

Knowledge Compilation Using Interval Automata and Applications to Planning.

Alexandre Niveau, Hélène Fargier, Cédric Pralet, Gérard Verfaillie

Proceedings of the ECAI 2010, 2010

2009

Slice Encoding for Constraint-Based Planning.

Cédric Pralet, Gérard Verfaillie

Proceedings of the Principles and Practice of Constraint Programming, 2009

Forward Constraint-Based Algorithms for Anytime Planning.

Cédric Pralet, Gérard Verfaillie

Proceedings of the 19th International Conference on Automated Planning and Scheduling, 2009

Constraint Satisfaction Problems.

Gérard Verfaillie, Thomas Schiex

Proceedings of the Decision-making Process, 2009

Sequential Decision-Making Problems - Representation and Solution.

Cédric Pralet, Thomas Schiex, Gérard Verfaillie

Wiley, ISBN: 978-1-84821-174-2, 2009

2008

Using Constraint Networks on Timelines to Model and Solve Planning and Scheduling Problems.

Cédric Pralet, Gérard Verfaillie

Proceedings of the Eighteenth International Conference on Automated Planning and Scheduling, 2008

2007

Algorithmes et complexités génériques pour différents cadres de décision séquentielle dans l'incertain.

Cédric Pralet, Thomas Schiex, Gérard Verfaillie

Rev. d'Intelligence Artif., 2007

An Algebraic Graphical Model for Decision with Uncertainties, Feasibilities, and Utilities.

Cédric Pralet, Gérard Verfaillie, Thomas Schiex

J. Artif. Intell. Res., 2007

Estimation of the Minimal Duration of an Attitude Change for an Autonomous Agile Earth-Observing Satellite.

Grégory Beaumet, Gérard Verfaillie, Marie-Claire Charmeau

Proceedings of the Principles and Practice of Constraint Programming, 2007

2006

From Influence Diagrams to Multi-operator Cluster DAGs.

Cédric Pralet, Thomas Schiex, Gérard Verfaillie

Proceedings of the UAI '06, 2006

Decision with Uncertainties, Feasibilities, and Utilities: Towards a Unified Algebraic Framework.

Cédric Pralet, Gérard Verfaillie, Thomas Schiex

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

Decomposition of Multi-operator Queries on Semiring-Based Graphical Models.

Cédric Pralet, Thomas Schiex, Gérard Verfaillie

Proceedings of the Principles and Practice of Constraint Programming, 2006

Exploiting Tree Decomposition and Soft Local Consistency In Weighted CSP.

Simon de Givry, Thomas Schiex, Gérard Verfaillie

Proceedings of the Proceedings, 2006

2005

About the choice of the variable to unassign in a decision repair algorithm.

Cédric Pralet, Gérard Verfaillie

RAIRO Oper. Res., 2005

Constraint Solving in Uncertain and Dynamic Environments: A Survey.

Gérard Verfaillie, Narendra Jussien

Constraints An Int. J., 2005

An earth watching satellite constellation: how to manage a team of watching agents with limited communications.

Sylvain Damiani, Gérard Verfaillie, Marie-Claire Charmeau

Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005

2004

Partage équitable de ressources communes. (2) Éléments de complexité et d'algorithmique.

Hélène Fargier, Jérôme Lang, Michel Lemaître, Gérard Verfaillie

Tech. Sci. Informatiques, 2004

Partage équitable de ressources communes. (1) Un modèle général et son application au partage de ressources satellitaires.

Hélène Fargier, Jérôme Lang, Michel Lemaître, Gérard Verfaillie

Tech. Sci. Informatiques, 2004

Travelling in the World of Local Searches in the Space of Partial Assignments.

Cédric Pralet, Gérard Verfaillie

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2004

2002

Opportunistic Specialization in Russian Doll Search.

Pedro Meseguer, Martí Sánchez-Fibla, Gérard Verfaillie

Proceedings of the Principles and Practice of Constraint Programming, 2002

2001

Selecting and Scheduling Observations for Agile Satellites: Some Lessons from the Constraint Reasoning Community Point of View.

Gérard Verfaillie, Michel Lemaître

Proceedings of the Principles and Practice of Constraint Programming, 2001

1999

Semiring-Based CSPs and Valued CSPs: Frameworks, Properties, and Comparison.

Stefano Bistarelli, Ugo Montanari, Francesca Rossi, Thomas Schiex, Gérard Verfaillie, Hélène Fargier

Constraints An Int. J., 1999

Earth Observation Satellite Management.

E. Bensana, Michel Lemaître, Gérard Verfaillie

Constraints An Int. J., 1999

Exploiting a Common Property Resource under a Fairness Constraint: a Case Study.

Michel Lemaître, Gérard Verfaillie, Nicolas Bataille

Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

A Generic Customizable Framework for Inverse Local Consistency.

Gérard Verfaillie, David Martinez, Christian Bessière

Proceedings of the Sixteenth National Conference on Artificial Intelligence and Eleventh Conference on Innovative Applications of Artificial Intelligence, 1999

1998

Anytime Lower Bounds for Constraint Violation Minimization Problems.

Bertrand Cabon, Simon de Givry, Gérard Verfaillie

Proceedings of the Principles and Practice of Constraint Programming, 1998

Reversible DAC and Other Improvements for Solving Max-CSP.

Javier Larrosa, Pedro Meseguer, Thomas Schiex, Gérard Verfaillie

Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, 1998

1997

Bounding the Optimum of Constraint Optimization Problems.

Simon de Givry, Gérard Verfaillie, Thomas Schiex

Proceedings of the Principles and Practice of Constraint Programming - CP97, Third International Conference, Linz, Austria, October 29, 1997

An Incomplete Method for Solving Distributed Valued Constraint Satisfaction Problems.

Michael Lemaître, Gérard Verfaillie

Proceedings of the Constraints & Agents: Collected Papers from the 1997 AAAI Workshop, 1997

1996

Nogood Recording for Valued Constraint Satisfaction Problems.

Pierre Dago, Gérard Verfaillie

Proceedings of the Eigth International Conference on Tools with Artificial Intelligence, 1996

Using Mean Field Methods for Boosting Backtrack Search in Constraint Satisfaction Problems.

Bertrand Cabon, Gérard Verfaillie, David Martinez, P. Bourret

Proceedings of the 12th European Conference on Artificial Intelligence, 1996

Russian Doll Search for Solving Constraint Optimization Problems.

Gérard Verfaillie, Michel Lemaître, Thomas Schiex

Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996

Lazy Arc Consistency.

Thomas Schiex, Jean-Charles Régin, Christine Gaspin, Gérard Verfaillie

Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996

1995

Valued Constraint Satisfaction Problems: Hard and Easy Problems.

Thomas Schiex, Hélène Fargier, Gérard Verfaillie

Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

Semiring-Based CSPs and Valued CSPs: Basic Properties and Comparison.

Stefano Bistarelli, Hélène Fargier, Ugo Montanari, Francesca Rossi, Thomas Schiex, Gérard Verfaillie

Proceedings of the Over-Constrained Systems, 1995

1994

Nogood Recording for Static and Dynamic Constraint Satisfaction Problems.

Thomas Schiex, Gérard Verfaillie

Int. J. Artif. Intell. Tools, 1994

Stubborness: A Possible Enhancement for Backjumping and Nogood Recording.

Thomas Schiex, Gérard Verfaillie

Proceedings of the Eleventh European Conference on Artificial Intelligence, 1994

Solution Reuse in Dynamic Constraint Satisfaction Problems.

Gérard Verfaillie, Thomas Schiex

Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31, 1994

1990

Operations research and artificial intelligence cooperation to solve scheduling problems: the OPAL and OSCAR systems.

C. Badie, G. Bel, E. Bensana, Gérard Verfaillie

Proceedings of the First International Conference on Expert Planning Systems, 1990