Olivier Fourdrinoy

According to our database, Olivier Fourdrinoy authored at least 3 papers between 2007 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2017

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

2007

Reducing hard SAT instances to polynomial ones.

Olivier Fourdrinoy, Éric Grégoire, Bertrand Mazure, Lakhdar Sais

Proceedings of the IEEE International Conference on Information Reuse and Integration, 2007

Eliminating Redundant Clauses in SAT Instances.

Olivier Fourdrinoy, Éric Grégoire, Bertrand Mazure, Lakhdar Sais

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2007