default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGérard Verfaillie
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2016
[j17]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: 126-135 (2016)- [j16]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): 280-300 (2016) - 2014
- [c37]Cédric Pralet, Gérard Verfaillie:
Time-Dependent Simple Temporal Networks: Properties and Algorithms. ICAPS 2014 - [c36]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 - 2013
- [j15]Cédric Pralet, Gérard Verfaillie:
Time-dependent Simple Temporal Networks: Properties and Algorithms. RAIRO Oper. Res. 47(2): 173-198 (2013) - [c35]Cédric Pralet, Gérard Verfaillie:
Dynamic Online Planning and Scheduling Using a Static Invariant-Based Evaluation Model. ICAPS 2013 - 2012
- [c34]Cédric Pralet, Gérard Verfaillie:
Time-Dependent Simple Temporal Networks. CP 2012: 608-623 - [c33]Cédric Pralet, Gérard Verfaillie:
Combining Static and Dynamic Models for Boosting Forward Planning. CPAIOR 2012: 322-338 - [i2]Cédric Pralet, Thomas Schiex, Gérard Verfaillie:
From influence diagrams to multi-operator cluster DAGs. CoRR abs/1206.6844 (2012) - 2011
- [j14]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): 123-139 (2011) - [c32]Gérard Verfaillie, Cédric Pralet:
Constraint Programming for Controller Synthesis. CP 2011: 100-114 - [c31]Cédric Pralet, Gérard Verfaillie:
Beyond QCSP for Solving Control Problems. CP 2011: 744-758 - [i1]Cédric Pralet, Thomas Schiex, Gérard Verfaillie:
An Algebraic Graphical Model for Decision with Uncertainties, Feasibilities, and Utilities. CoRR abs/1110.2741 (2011) - 2010
- [j13]Gérard Verfaillie, Cédric Pralet, Michel Lemaître:
Constraint-based modeling of discrete event dynamic systems. J. Intell. Manuf. 21(1): 31-47 (2010) - [j12]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): 319-336 (2010) - [j11]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): 485-504 (2010) - [j10]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): 85-114 (2010) - [c30]Alexandre Niveau, Hélène Fargier, Cédric Pralet, Gérard Verfaillie:
Knowledge Compilation Using Interval Automata and Applications to Planning. ECAI 2010: 459-464 - [c29]Cédric Pralet, Gérard Verfaillie, Michel Lemaître, Guillaume Infantes:
Constraint-Based Controller Synthesis in Non-Deterministic and Partially Observable Domains. ECAI 2010: 681-686
2000 – 2009
- 2009
- [b1]Cédric Pralet, Thomas Schiex, Gérard Verfaillie:
Sequential Decision-Making Problems - Representation and Solution. Wiley 2009, ISBN 978-1-84821-174-2, pp. I-XVI, 1-325 - [c28]Cédric Pralet, Gérard Verfaillie:
Forward Constraint-Based Algorithms for Anytime Planning. ICAPS 2009 - [c27]Cédric Pralet, Gérard Verfaillie:
Slice Encoding for Constraint-Based Planning. CP 2009: 669-683 - [p1]Gérard Verfaillie, Thomas Schiex:
Constraint Satisfaction Problems. Decision-making Process 2009: 265-320 - 2008
- [c26]Cédric Pralet, Gérard Verfaillie:
Using Constraint Networks on Timelines to Model and Solve Planning and Scheduling Problems. ICAPS 2008: 272-279 - 2007
- [j9]Cédric Pralet, Gérard Verfaillie, Thomas Schiex:
An Algebraic Graphical Model for Decision with Uncertainties, Feasibilities, and Utilities. J. Artif. Intell. Res. 29: 421-489 (2007) - [j8]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): 459-488 (2007) - [c25]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: 3-17 - 2006
- [c24]Simon de Givry, Thomas Schiex, Gérard Verfaillie:
Exploiting Tree Decomposition and Soft Local Consistency In Weighted CSP. AAAI 2006: 22-27 - [c23]Cédric Pralet, Thomas Schiex, Gérard Verfaillie:
Decomposition of Multi-operator Queries on Semiring-Based Graphical Models. CP 2006: 437-452 - [c22]Cédric Pralet, Gérard Verfaillie, Thomas Schiex:
Decision with Uncertainties, Feasibilities, and Utilities: Towards a Unified Algebraic Framework. ECAI 2006: 427-431 - [c21]Cédric Pralet, Thomas Schiex, Gérard Verfaillie:
From Influence Diagrams to Multi-operator Cluster DAGs. UAI 2006 - 2005
- [j7]Gérard Verfaillie, Narendra Jussien:
Constraint Solving in Uncertain and Dynamic Environments: A Survey. Constraints An Int. J. 10(3): 253-281 (2005) - [j6]Cédric Pralet, Gérard Verfaillie:
About the choice of the variable to unassign in a decision repair algorithm. RAIRO Oper. Res. 39(1): 55-74 (2005) - [c20]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: 455-462 - 2004
- [j5]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): 1187-1217 (2004) - [j4]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): 1219-1238 (2004) - [c19]Cédric Pralet, Gérard Verfaillie:
Travelling in the World of Local Searches in the Space of Partial Assignments. CPAIOR 2004: 240-255 - 2002
- [c18]Pedro Meseguer, Martí Sánchez-Fibla, Gérard Verfaillie:
Opportunistic Specialization in Russian Doll Search. CP 2002: 264-279 - 2001
- [c17]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: 670-684
1990 – 1999
- 1999
- [j3]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): 199-240 (1999) - [j2]E. Bensana, Michel Lemaître, Gérard Verfaillie:
Earth Observation Satellite Management. Constraints An Int. J. 4(3): 293-299 (1999) - [c16]Gérard Verfaillie, David Martinez, Christian Bessière:
A Generic Customizable Framework for Inverse Local Consistency. AAAI/IAAI 1999: 169-174 - [c15]Michel Lemaître, Gérard Verfaillie, Nicolas Bataille:
Exploiting a Common Property Resource under a Fairness Constraint: a Case Study. IJCAI 1999: 206-211 - 1998
- [c14]Javier Larrosa, Pedro Meseguer, Thomas Schiex, Gérard Verfaillie:
Reversible DAC and Other Improvements for Solving Max-CSP. AAAI/IAAI 1998: 347-352 - [c13]Bertrand Cabon, Simon de Givry, Gérard Verfaillie:
Anytime Lower Bounds for Constraint Violation Minimization Problems. CP 1998: 117-131 - 1997
- [c12]Michael Lemaître, Gérard Verfaillie:
An Incomplete Method for Solving Distributed Valued Constraint Satisfaction Problems. AAAI Workshop: Constraints & Agents 1997: 14-20 - [c11]Simon de Givry, Gérard Verfaillie, Thomas Schiex:
Bounding the Optimum of Constraint Optimization Problems. CP 1997: 405-419 - 1996
- [c10]Gérard Verfaillie, Michel Lemaître, Thomas Schiex:
Russian Doll Search for Solving Constraint Optimization Problems. AAAI/IAAI, Vol. 1 1996: 181-187 - [c9]Thomas Schiex, Jean-Charles Régin, Christine Gaspin, Gérard Verfaillie:
Lazy Arc Consistency. AAAI/IAAI, Vol. 1 1996: 216-221 - [c8]Bertrand Cabon, Gérard Verfaillie, David Martinez, P. Bourret:
Using Mean Field Methods for Boosting Backtrack Search in Constraint Satisfaction Problems. ECAI 1996: 165-169 - [c7]Pierre Dago, Gérard Verfaillie:
Nogood Recording for Valued Constraint Satisfaction Problems. ICTAI 1996: 132-139 - 1995
- [c6]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: 111-150 - [c5]Thomas Schiex, Hélène Fargier, Gérard Verfaillie:
Valued Constraint Satisfaction Problems: Hard and Easy Problems. IJCAI (1) 1995: 631-639 - 1994
- [j1]Thomas Schiex, Gérard Verfaillie:
Nogood Recording for Static and Dynamic Constraint Satisfaction Problems. Int. J. Artif. Intell. Tools 3(2): 187-208 (1994) - [c4]Gérard Verfaillie, Thomas Schiex:
Solution Reuse in Dynamic Constraint Satisfaction Problems. AAAI 1994: 307-312 - [c3]Thomas Schiex, Gérard Verfaillie:
Stubborness: A Possible Enhancement for Backjumping and Nogood Recording. ECAI 1994: 165-172 - 1993
- [c2]Thomas Schiex, Gérard Verfaillie:
Nogood Recording for Static and Dynamic Constraint Satisfaction Problems. ICTAI 1993: 48-55 - 1990
- [c1]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: 1-7
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:54 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
