| 2012 | CP | Time-Dependent Simple Temporal Networks. | Cdric Pralet, Grard Verfaillie |
| 2012 | CPAIOR | Combining Static and Dynamic Models for Boosting Forward Planning. | Cdric Pralet, Grard Verfaillie |
| 2011 | CP | Beyond QCSP for Solving Control Problems. | Cdric Pralet, Grard Verfaillie |
| 2011 | CP | Constraint Programming for Controller Synthesis. | Grard Verfaillie, Cdric Pralet |
| 2010 | ECAI | Knowledge Compilation Using Interval Automata and Applications to Planning. | Alexandre Niveau, Hlne Fargier, Cdric Pralet, Grard Verfaillie |
| 2010 | ECAI | Constraint-Based Controller Synthesis in Non-Deterministic and Partially Observable Domains. | Cdric Pralet, Grard Verfaillie, Michel Lematre, Guillaume Infantes |
| 2009 | CP | Slice Encoding for Constraint-Based Planning. | Cdric Pralet, Grard Verfaillie |
| 2007 | CP | Estimation of the Minimal Duration of an Attitude Change for an Autonomous Agile Earth-Observing Satellite. | Grgory Beaumet, Grard Verfaillie, Marie-Claire Charmeau |
| 2006 | AAAI | Exploiting Tree Decomposition and Soft Local Consistency In Weighted CSP. | Simon de Givry, Thomas Schiex, Grard Verfaillie |
| 2006 | CP | Decomposition of Multi-operator Queries on Semiring-Based Graphical Models. | Cdric Pralet, Thomas Schiex, Grard Verfaillie |
| 2006 | ECAI | Decision with Uncertainties, Feasibilities, and Utilities: Towards a Unified Algebraic Framework. | Cdric Pralet, Grard Verfaillie, Thomas Schiex |
| 2006 | UAI | From Influence Diagrams to Multi-operator Cluster DAGs. | Cdric Pralet, Thomas Schiex, Grard Verfaillie |
| 2004 | CPAIOR | Travelling in the World of Local Searches in the Space of Partial Assignments. | Cdric Pralet, Grard Verfaillie |
| 2002 | CP | Opportunistic Specialization in Russian Doll Search. | Pedro Meseguer, Mart Snchez-Fibla, Grard Verfaillie |
| 2001 | CP | Selecting and Scheduling Observations for Agile Satellites: Some Lessons from the Constraint Reasoning Community Point of View. | Grard Verfaillie, Michel Lematre |
| 1999 | AAAI | A Generic Customizable Framework for Inverse Local Consistency. | Grard Verfaillie, David Martinez, Christian Bessire |
| 1999 | IJCAI | Exploiting a Common Property Resource under a Fairness Constraint: a Case Study. | Michel Lematre, Grard Verfaillie, Nicolas Bataille |
| 1998 | AAAI | Reversible DAC and Other Improvements for Solving Max-CSP. | Javier Larrosa, Pedro Meseguer, Thomas Schiex, Grard Verfaillie |
| 1998 | CP | Anytime Lower Bounds for Constraint Violation Minimization Problems. | Bertrand Cabon, Simon de Givry, Grard Verfaillie |
| 1997 | AAAI | An Incomplete Method for Solving Distributed Valued Constraint Satisfaction Problems. | Michael Lematre, Grard Verfaillie |
| 1997 | CP | Bounding the Optimum of Constraint Optimization Problems. | Simon de Givry, Grard Verfaillie, Thomas Schiex |
| 1996 | AAAI | Lazy Arc Consistency. | Thomas Schiex, Jean-Charles Rgin, Christine Gaspin, Grard Verfaillie |
| 1996 | AAAI | Russian Doll Search for Solving Constraint Optimization Problems. | Grard Verfaillie, Michel Lematre, Thomas Schiex |
| 1996 | ECAI | Using Mean Field Methods for Boosting Backtrack Search in Constraint Satisfaction Problems. | Bertrand Cabon, Grard Verfaillie, David Martinez, P. Bourret |
| 1996 | ICTAI | Nogood Recording for Valued Constraint Satisfaction Problems. | Pierre Dago, Grard Verfaillie |
| 1995 | CP | Semiring-Based CSPs and Valued CSPs: Basic Properties and Comparison. | Stefano Bistarelli, Hlne Fargier, Ugo Montanari, Francesca Rossi, Thomas Schiex, Grard Verfaillie |
| 1995 | IJCAI | Valued Constraint Satisfaction Problems: Hard and Easy Problems. | Thomas Schiex, Hlne Fargier, Grard Verfaillie |
| 1994 | AAAI | Solution Reuse in Dynamic Constraint Satisfaction Problems. | Grard Verfaillie, Thomas Schiex |
| 1994 | ECAI | Stubborness: A Possible Enhancement for Backjumping and Nogood Recording. | Thomas Schiex, Grard Verfaillie |
| 1993 | ICTAI | Nogood Recording for Static and Dynamic Constraint Satisfaction Problems. | Thomas Schiex, Grard Verfaillie |