| |
| 2001 | ||
|---|---|---|
| 3 | Laure Brisoux, Éric Grégoire, Lakhdar Sais: Checking depth-limited consistency and inconsistency in knowledge-based systems. Int. J. Intell. Syst. 16(3): 319-331 (2001) | |
| 1999 | ||
| 2 | Laure Brisoux, Éric Grégoire, Lakhdar Sais: Improving Backtrack Search for SAT by Means of Redundancy. ISMIS 1999: 301-309 | |
| 1998 | ||
| 1 | Laure Brisoux, Éric Grégoire, Lakhdar Sais: Validation of Knowledge-Based Systems by Means of Stochastic Search. DEXA Workshop 1998: 41-46 | |
| 1 | Éric Grégoire | [1] [2] [3] |
| 2 | Lakhdar Sais | [1] [2] [3] |