| 2004 | ||
|---|---|---|
| 8 | EE | Olivier Roussel: Another SAT to CSP Conversion. ICTAI 2004: 558-565 |
| 2000 | ||
| 7 | Yacine Boufkhad, Olivier Roussel: Redundancy in Random SAT Formulas. AAAI/IAAI 2000: 273-278 | |
| 6 | Olivier Roussel, Philippe Mathieu: The Achievement of Knowledge Bases by Cycle Search. Inf. Comput. 162(1-2): 43-58 (2000) | |
| 1997 | ||
| 5 | Olivier Roussel, Philippe Mathieu: Exact Kanowledge Compilation in Predicate Calculus: The Partial Achievement Case. CADE 1997: 161-175 | |
| 4 | Olivier Roussel, Philippe Mathieu: Une compilation logique exacte en calcul des prédicats: le cas de l'achèvement partiel. JFPLC 1997: 261-276 | |
| 1996 | ||
| 3 | Olivier Roussel, Philippe Mathieu: A New Method for Knowledge Compilation: The Achievement by Cycle Search. CADE 1996: 493-507 | |
| 2 | Olivier Roussel, Philippe Mathieu: Une nouvelle méthode de compilation logique: l'achèvement par cycles. JFPLC 1996: 271-286 | |
| 1995 | ||
| 1 | Olivier Roussel, Philippe Mathieu: Évaluation des méthodes d'achèvement par parties. JFPLC 1995: 175-189 | |
| 1 | Yacine Boufkhad | [7] |
| 2 | Philippe Mathieu | [1] [2] [3] [4] [5] [6] |