- CSB - MetaPress - Google - Bing - Yahoo
 | 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] |