Gérard Verfaillie

Publication Activity (10 Years)

Years Active: 1990-2016
Publications (10 Years): 2

Top Topics

Scheduling Problem

Analytical Hierarchy Process

Total Weighted Tardiness

Top Venues

RAIRO Oper. Res.

Discret. Appl. Math.

J. Aerosp. Inf. Syst.

Publications

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