| |
| 1999 | ||
|---|---|---|
| 5 | Thierry Castell: Random Walks and Brownian Motion. Computers and Artificial Intelligence 18(2): (1999) | |
| 1998 | ||
| 4 | Thierry Castell, Hélène Fargier: Propositional Satisfaction Problems and Clausal CSPs. ECAI 1998: 214-218 | |
| 1997 | ||
| 3 | Thierry Castell, Michel Cayrol: Hidden Gold in Random Generation of SAT Satisfiable Instances. IJCAI (1) 1997: 372-377 | |
| 1996 | ||
| 2 | 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 | |
| 1 | Thierry Castell: Computation of Prime Implicates and Prime Implicants by a Variant of the Davis and Putnam Procedure. ICTAI 1996: 428-429 | |
| 1 | Daniel Le Berre | [2] |
| 2 | Claudette Cayrol | [2] |
| 3 | Michel Cayrol | [2] [3] |
| 4 | Hélène Fargier | [4] |