| 2001 |
|---|
| 6 | EE | Michel Cayrol,
Pierre Régnier,
Vincent Vidal:
Least commitment in Graphplan.
Artif. Intell. 130(1): 85-118 (2001) |
| 2000 |
|---|
| 5 | | Michel Cayrol,
Pierre Régnier,
Vincent Vidal:
New Results about LCGP, a Least Committed GraphPlan.
AIPS 2000: 273-282 |
| 1997 |
|---|
| 4 | | Thierry Castell,
Michel Cayrol:
Hidden Gold in Random Generation of SAT Satisfiable Instances.
IJCAI (1) 1997: 372-377 |
| 1996 |
|---|
| 3 | | Thierry Castell,
Claudette Cayrol,
Michel Cayrol,
Daniel Le Berre:
Using the Davis and Putnam Procedure for an Efficient Computation of Preferred Models.
ECAI 1996: 350-354 |
| 1993 |
|---|
| 2 | | Claudette Cayrol,
Michel Cayrol,
Olivier Palmade:
New Techniques for Inference in Assumption-Based Truth Maintenance Systems.
ICTAI 1993: 404-407 |
| 1 | | Michel Cayrol,
Olivier Palmade,
Thomas Schiex:
A Fixed Point Semantics for the ATMS.
J. Log. Comput. 3(2): 115-130 (1993) |
