Eliminating Redundant Clauses in SAT Instances. - Olivier Fourdrinoy; Éric Grégoire; Bertrand Mazure; Lakhdar Sais (CPAIOR, 2007)

Reducing hard SAT instances to polynomial ones. - Olivier Fourdrinoy; Éric Grégoire; Bertrand Mazure; Lakhdar Sais (IRI, 2007)

About some UP-based polynomial fragments of SAT. - Balasim Al-Saedi; Olivier Fourdrinoy; Éric Grégoire; Bertrand Mazure; Lakhdar Saïs (Ann. Math. Artif. Intell., 2017)