| |
| 2007 | ||
|---|---|---|
| 2 | EE | Olivier Fourdrinoy, Éric Grégoire, Bertrand Mazure, Lakhdar Sais: Eliminating Redundant Clauses in SAT Instances. CPAIOR 2007: 71-83 |
| 1 | EE | Olivier Fourdrinoy, Éric Grégoire, Bertrand Mazure, Lakhdar Sais: Reducing hard SAT instances to polynomial ones. IRI 2007: 18-23 |
| 1 | Éric Grégoire | [1] [2] |
| 2 | Bertrand Mazure | [1] [2] |
| 3 | Lakhdar Sais | [1] [2] |