| |
| 2000 | ||
|---|---|---|
| 2 | Richard Génisson, Philippe Jégou: On the relations between SAT and CSP enumerative algorithms. Discrete Applied Mathematics 107(1-3): 27-40 (2000) | |
| 1996 | ||
| 1 | Richard Génisson, Philippe Jégou: Davis and Putnam were Already Checking Forward. ECAI 1996: 180-184 | |
| 1 | Philippe Jégou | [1] [2] |