Gérard Verfaillie

Statistics

Publications

Citations

1.8K

H-Index

Active since

1990

Affiliations

Office National d'Études et de Recherches Aérospatiales(Current)

Centre National d'Études Spatiales

Centre National de la Recherche Scientifique

Laboratoire d'Analyse et d'Architecture des Systèmes

Institut National de la Recherche Agronomique

Gérard Verfaillie is an author at Office National d'Études et de Recherches Aérospatiales specializing in systems engineering, computer science, and engineering.

Top concepts

EngineeringComputer ScienceSystems EngineeringOperations ResearchCombinatorial OptimizationMathematical ProgrammingFormal MethodsAutomated ReasoningAutomationArtificial Intelligence

Publications per year

1990–2016

Publications

Selecting and scheduling observations of agile satellites

Michel Lemaı̂tre, Gérard Verfaillie, Frank Jouhaud et al. · Aerospace Science and Technology · 2002 · 438 citations

Small Satellite, Agile Satellites, Orbit Determination +5

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

Stefano Bistarelli, Ugo Montanari, Francesca Rossi et al. · Constraints · 1999 · 260 citations

Programming Language Theory, Formal Specification, Engineering +6

Solution Reuse in Dynamic Constraint Satisfaction Problems

Gérard Verfaillie, Thomas Schiex · 1994 · 176 citations

Russian Doll Search for Solving Constraint Optimization Problems

Gérard Verfaillie, Michel Lemaı̂tre, Thomas Schiex · 1996 · 163 citations

NOGOOD RECORDING FOR STATIC AND DYNAMIC CONSTRAINT SATISFACTION PROBLEMS

Thomas Schiex, Gérard Verfaillie · International Journal of Artificial Intelligence Tools · 1994 · 160 citations

Mathematical Programming, Artificial Intelligence, Constraint Solving +15

1–5 of 27