Lionel PARIS

Membre de l'équipe INCA   Fonction : Attaché temporaire d'enseignement et de recherche, Post-doctorant (ATER post-doc.) UFR : Université Aix-Marseille (U3)   Tél. : 04 91 28 83 67 E-mail : lionelparislsisorg Web : http://www.lsis.org/lparis   Adresse :  LSIS - UMR CNRS 6168 Domaine Universitaire de Saint-Jérôme Avenue Escadrille Normandie-Niemen 13397 MARSEILLE CEDEX 20

PUBLICATIONS

[ présentation : catégorie > année / année > catégorie / compacte / BibTeX ]

[1] L. Paris, “Approches pour les problèmes SAT et CSP : ensembles strong backdoor, voisinage consistant et forme normale généralisée”, in: Acte du 9ème congrès de la société Française de Recherche Opérationnelle de d'Aide à la Décision (ROADEF'08), pp. 355-356, Clermont-Ferrand, France, 25-27 Février 2008.[bib]

[2] R. Ostrowski, L. Paris, “From XSAT To SAT By Exhibiting Equivalencies”, in: Proceedings of the 20th International Conference on Tools with Artificial Intelligence (ICTAI'08), vol. 1, pp. 84-91, IEEE Computer Society, Dayton, Ohio, USA, novembre 3-5 2008.[bib]

[3] R. Ostrowski, L. Paris, “Des chaînes d'équivalences dans un codage CNF du problème XSAT”, in: Actes des quatrièmes Journées Francophones de Programmation par Contraintes (JFPC’2008), Nantes, France, juin 2008.[bib]

[4] L. Paris, R. Ostrowski, P. Siegel, Lakhdar Sa"Is, “From Horn Strong Backdoor Sets to Ordered Strong BAckdoor Sets”, in: Proceedings of the 6th Mexican International Conference on Artificial Intelligence (MICAI'07), A. Gelbukh and A.F. Kuri Morales, LNAI, vol. 4827, pp. 105-117, Springer-Verlag, Aguascalientes, Mexico, novembre 2007.[bib]

[5] D. Habet, L. Paris, Belaid Benhamou, “Consistent Neighborhood for the Satisfiability Problem”, in: Proceedings of the 19th International Conference on Tools with Artificial Intelligence (ICTAI'07), pp. 497-501, IEEE, Patras, Greece, novembre 2007.[bib]

[6] L. Paris, Thèse : “Approches pour les problèmes SAT et CSP : ensembles strong backdoor, voisinage consistant et forme normale généralisée”, Université de Provence, 9 novembre 2007.[bib]

[7] L. Paris, R. Ostrowski, “De la sous-formule polynomiale maximale aux ensembles strong backdoors”, in: Actes des 8e Rencontres des Jeunes Chercheurs en Intelligence Artificielle (RJCIA'07), Bruno Zanuttini, pp. 163-178, Grenoble, France, juillet 2007.[bib]

[8] L. Paris, R. Ostrowski, P. Siegel, “Des ensembles Horn strong backdoor aux ensembles ordonné strong backdoor”, in: Actes des troisièmes Journées Francophones de Programmation par Contraintes (JFPC’2007), pp. 48-57, Rocquencourt, France, juin 2007.[bib]

[9] L. Paris, D. Habet, B. Benhamou, “Voisinage consistant pour le problème de satisfaisabilité”, in: Actes des troisièmes Journées Francophones de Programmation par Contraintes (JFPC’2007), pp. 58-66, Rocquencourt, France, juin 2007.[bib]

[10] L. Paris, R. Ostrowski, Lakhdar Saïs, P. Siegel, “Computing Horn Strong Backdoor Sets Thanks to Local Search”, in: Proceedings of the 18th International Conference on Tools with Artificial Intelligence (ICTAI'06), pp. 139-143, IEEE Computer Society, Washington D.C., United States, november, 13-15 2006.[bib]

[11] L. Paris, “Calcul et exploitation d’ensembles Horn strong backdoor”, in: Actes de la 4ème Manifestation des Jeunes Chercheurs en Sciences et Technologies de l'Information et de la Communication (MajecStic'06), pp. 8, Lorient, France, november 22-24 2006.[bib]

[12] L. Paris, B. Benhamou, P. Siegel, “A Boolean encoding including SAT and n-ary CSPs”, in: Proceedings of The Twelfth International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA 2006), Springer, LNAI, n° 4183, pp. 33-44, Varna, Bulgaria, Septembre 2006.[bib]

[13] B. Benhamou, L. Paris, P. Siegel, “Dealing with SAT and CSPs in a single framework”, in: Proceedings of the The CP 2006 Workshop on the Integration of SAT and CP techniques, pp. 65-79, Nantes, France, September 25 2006.[bib]

[14] L. Paris, R. Ostrowski, Lakhdar Saïs, P. Siegel, “Approximation d'ensembles Horn strong backdoor par recherche locale”, in: Actes des deuxièmes Journées Francophones de Programmation par Contraintes (JFPC’2006), pp. 277-284, Nîmes, France, Juin 7-9 2006.[bib]

[15] L. Paris, B. Benhamou, P. Siegel, “Un cadre théorique et pratique commun aux formalismes SAT et CSP n-aires”, in: 7e Rencontres Jeunes Chercheurs en Intelligence Artificielle (RJCIA'05), pp. 169-182, Nice, France, juin 1-3 2005.[bib]

[16] L. Paris, B. Benhamou, P. Siegel, “A Cardinality General Normal Form (CGNF) in propositional logic including n-ary CSPs.”, in: Joint Annual Workshop of ERCIM/CoLogNet on Constraint Solving and Constraint Logic Programming (CSCLP'05), pp. 89-100, Uppsala, Sweden, June 20-22 2005.[bib]

webmaster