Operations research and artificial intelligence cooperation to solve scheduling problems: the OPAL and OSCAR systems. - C. Badie; G. Bel; E. Bensana; Gérard Verfaillie (Expert Planning Systems, 1990)

Solution Reuse in Dynamic Constraint Satisfaction Problems. - Gérard Verfaillie; Thomas Schiex (AAAI, 1994)

Stubborness: A Possible Enhancement for Backjumping and Nogood Recording. - Thomas Schiex; Gérard Verfaillie (ECAI, 1994)

Nogood Recording for Static and Dynamic Constraint Satisfaction Problems. - Thomas Schiex; Gérard Verfaillie (Int. J. Artif. Intell. Tools, 1994)

Semiring-Based CSPs and Valued CSPs: Basic Properties and Comparison. - Stefano Bistarelli; Hélène Fargier; Ugo Montanari; Francesca Rossi 001; Thomas Schiex; Gérard Verfaillie (Over-Constrained Systems, 1995)

Valued Constraint Satisfaction Problems: Hard and Easy Problems. - Thomas Schiex; Hélène Fargier; Gérard Verfaillie (IJCAI (1), 1995)

Lazy Arc Consistency. - Thomas Schiex; Jean-Charles Régin; Christine Gaspin; Gérard Verfaillie (AAAI/IAAI, Vol. 1, 1996)

Russian Doll Search for Solving Constraint Optimization Problems. - Gérard Verfaillie; Michel Lemaître; Thomas Schiex (AAAI/IAAI, Vol. 1, 1996)

Using Mean Field Methods for Boosting Backtrack Search in Constraint Satisfaction Problems. - Bertrand Cabon; Gérard Verfaillie; David Martinez; P. Bourret (ECAI, 1996)

Nogood Recording for Valued Constraint Satisfaction Problems. - Pierre Dago; Gérard Verfaillie (ICTAI, 1996)

An Incomplete Method for Solving Distributed Valued Constraint Satisfaction Problems. - Michael Lemaître; Gérard Verfaillie (AAAI Workshop: Constraints & Agents, 1997)

Bounding the Optimum of Constraint Optimization Problems. - Simon de Givry; Gérard Verfaillie; Thomas Schiex (CP, 1997)

Reversible DAC and Other Improvements for Solving Max-CSP. - Javier Larrosa; Pedro Meseguer; Thomas Schiex; Gérard Verfaillie (AAAI/IAAI, 1998)

Anytime Lower Bounds for Constraint Violation Minimization Problems. - Bertrand Cabon; Simon de Givry; Gérard Verfaillie (CP, 1998)

A Generic Customizable Framework for Inverse Local Consistency. - Gérard Verfaillie; David Martinez; Christian Bessière (AAAI/IAAI, 1999)

Exploiting a Common Property Resource under a Fairness Constraint: a Case Study. - Michel Lemaître; Gérard Verfaillie; Nicolas Bataille (IJCAI, 1999)

Earth Observation Satellite Management. - E. Bensana; Michel Lemaître; Gérard Verfaillie (Constraints An Int. J., 1999)

Semiring-Based CSPs and Valued CSPs: Frameworks, Properties, and Comparison. - Stefano Bistarelli; Ugo Montanari; Francesca Rossi 001; Thomas Schiex; Gérard Verfaillie; Hélène Fargier (Constraints An Int. J., 1999)

Selecting and Scheduling Observations for Agile Satellites: Some Lessons from the Constraint Reasoning Community Point of View. - Gérard Verfaillie; Michel Lemaître (CP, 2001)

Opportunistic Specialization in Russian Doll Search. - Pedro Meseguer; Martí Sánchez-Fibla; Gérard Verfaillie (CP, 2002)

Travelling in the World of Local Searches in the Space of Partial Assignments. - Cédric Pralet; Gérard Verfaillie (CPAIOR, 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)

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)

An earth watching satellite constellation: how to manage a team of watching agents with limited communications. - Sylvain Damiani; Gérard Verfaillie; Marie-Claire Charmeau (AAMAS, 2005)

Constraint Solving in Uncertain and Dynamic Environments: A Survey. - Gérard Verfaillie; Narendra Jussien (Constraints An Int. J., 2005)

About the choice of the variable to unassign in a decision repair algorithm. - Cédric Pralet; Gérard Verfaillie (RAIRO Oper. Res., 2005)

Exploiting Tree Decomposition and Soft Local Consistency In Weighted CSP. - Simon de Givry; Thomas Schiex; Gérard Verfaillie (AAAI, 2006)

Decomposition of Multi-operator Queries on Semiring-Based Graphical Models. - Cédric Pralet; Thomas Schiex; Gérard Verfaillie (CP, 2006)

Decision with Uncertainties, Feasibilities, and Utilities: Towards a Unified Algebraic Framework. - Cédric Pralet; Gérard Verfaillie; Thomas Schiex (ECAI, 2006)

From Influence Diagrams to Multi-operator Cluster DAGs. - Cédric Pralet; Thomas Schiex; Gérard Verfaillie (UAI, 2006)

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 (CP, 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)

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)

Using Constraint Networks on Timelines to Model and Solve Planning and Scheduling Problems. - Cédric Pralet; Gérard Verfaillie (ICAPS, 2008)

Sequential Decision-Making Problems - Representation and Solution. - Cédric Pralet; Thomas Schiex; Gérard Verfaillie (Wiley, 2009)

Constraint Satisfaction Problems. - Gérard Verfaillie; Thomas Schiex (Decision-making Process, 2009)

Forward Constraint-Based Algorithms for Anytime Planning. - Cédric Pralet; Gérard Verfaillie (ICAPS, 2009)

Slice Encoding for Constraint-Based Planning. - Cédric Pralet; Gérard Verfaillie (CP, 2009)

Knowledge Compilation Using Interval Automata and Applications to Planning. - Alexandre Niveau; Hélène Fargier; Cédric Pralet; Gérard Verfaillie (ECAI, 2010)

Constraint-Based Controller Synthesis in Non-Deterministic and Partially Observable Domains. - Cédric Pralet; Gérard Verfaillie; Michel Lemaître; Guillaume Infantes (ECAI, 2010)

Constraint-based modeling of discrete event dynamic systems. - Gérard Verfaillie; Cédric Pralet; Michel Lemaître (J. Intell. Manuf., 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)

Réseaux de contraintes sur des chronogrammes pour la planification et l'ordonnancement. - Cédric Pralet; Gérard Verfaillie (Rev. d'Intelligence Artif., 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)

Beyond QCSP for Solving Control Problems. - Cédric Pralet; Gérard Verfaillie (CP, 2011)

Constraint Programming for Controller Synthesis. - Gérard Verfaillie; Cédric Pralet (CP, 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)

Time-Dependent Simple Temporal Networks. - Cédric Pralet; Gérard Verfaillie (CP, 2012)

Combining Static and Dynamic Models for Boosting Forward Planning. - Cédric Pralet; Gérard Verfaillie (CPAIOR, 2012)

Dynamic Online Planning and Scheduling Using a Static Invariant-Based Evaluation Model. - Cédric Pralet; Gérard Verfaillie (ICAPS, 2013)

Time-dependent Simple Temporal Networks: Properties and Algorithms. - Cédric Pralet; Gérard Verfaillie (RAIRO Oper. Res., 2013)

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 (ICAPS, 2014)

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)

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)