Olivier Fourdrinoy

Thèmes de recherche

Mes travaux de recherche portent sur l'intelligence artificielle. Plus précisément je travaille sur le problème SAT. Le problème SAT consiste à détecter si une formule logique propositionelle sous forme CNF peut être satisfaite par une affectation de valeur de vérité aux variables. SAT est le premier problème NP-Complet au sens où tous les autres problèmes NP-Complets sont découverts directement ou indirectement a l'aide de SAT. De nombreux problèmes, dans divers domaines, peuvent être codés en SAT puis résolus par un solveur SAT.

Publications

FOURDRINOY O., GREGOIRE E., MAZURE L., SAIS L. "Reducing hard SAT instances to polynomial ones", IRI'07, Las Vegas, USA, août 2007.


FOURDRINOY O., GREGOIRE E., MAZURE L., SAIS L. "Suppression des clauses redondantes dans des instances SAT", JFPC'07, Rocquencourt, France, juin 2007.


FOURDRINOY O., GREGOIRE E., MAZURE L., SAIS L. "Eliminating Redundant Clauses in SAT Instances", CPAIOR'07, pages 71-83, Bruxelles, Belgique, juin 2007.


FOURDRINOY O., GREGOIRE E., MAZURE L., SAIS L. "Heuristique d'ordonnancement des variables pour SAT", ROADEF'06, Lille, France, janvier 2006.


FOURDRINOY O., GREGOIRE E., MAZURE L., SAIS L. "Exploring Hybrid Algorithms for SAT", LPAR'05, Montego Bay, Jamaique, décembre 2005.


FOURDRINOY O., "Hybridation des méthodes de résolution pour SAT", RJCIA'05, pages 197-210, Nice, France, 2005.


FOURDRINOY O., "Hybridation des méthodes de résolution pour SAT", mémoire de DEA, CRIL, Lens, France, Juillet 2003 .


FOURDRINOY O. "Développement de balises JSP pour JADE", Mémoire de Maîtrise, CRIL, Lens, France, juin 2002.