Olivier Fourdrinoy

Publication Activity (10 Years)

Years Active: 2007-2017
Publications (10 Years): 1

Top Topics

Boolean Satisfiability

Backtracking Search

Top Venues

Ann. Math. Artif. Intell.

Publications

Balasim Al-Saedi, Olivier Fourdrinoy, Éric Grégoire, Bertrand Mazure, Lakhdar Saïs
About some UP-based polynomial fragments of SAT. Ann. Math. Artif. Intell. 79 (1-3) (2017)
Olivier Fourdrinoy, Éric Grégoire, Bertrand Mazure, Lakhdar Sais
Reducing hard SAT instances to polynomial ones. IRI (2007)
Olivier Fourdrinoy, Éric Grégoire, Bertrand Mazure, Lakhdar Sais
Eliminating Redundant Clauses in SAT Instances. CPAIOR (2007)