| Accueil |
 |
|
|
 |
| Équipes |
|
|
|
 |
| Projets struct. |
|
|
|
|
| Vie du laboratoire |
|
|
|
|
|
 |
Richard OSTROWSKI
|
 |
|
|
|
Membre de l'équipe INCA |
| |
| Fonction : |
Maître de conférences (MCF) |
| UFR : |
Université de Provence (U1) |
| |
| Tél. : |
04 91 11 36 08 |
| E-mail : |
richard ostrowski lsisorg |
| |
| Adresse : |
|
|
PUBLICATIONS
|
|
|
[1] 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. à paraître.[bib] |
|
|
|
[2] 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] |
|
|
|
[3] 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] |
|
|
|
[4] 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] |
|
|
|
[5] 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] |
|
|
|
[6] 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] |
|
|
|
[7] Gregoire E., Mazure B., Ostrowski R., Sais L., “Dépendances Fonctionnelles Booléennes : Détection et Exploitation”, in: Actes du Colloque sur l’Optimisation et les Systèmes d’Informations (COSI'05), pp. 263-274, 2005.[bib] |
|
|
|
[8] Gregoire E., R. Ostrowski, Mazure B., Sais L., “Automatic extraction of functional dependencies”, in: Theory and Applications of Satisfiability Testing: 7th International Conference (SAT'04, Revised Selected Papers), vol. LNCS 3542, pp. 122-132, 2005.[bib] |
|
|
|
[9] Darras S., Dequen G., Devendeville L., Mazure B., R. Ostrowski, Sais L., “Using Boolean Constraint Propagation for Sub-clause Deduction”, in: Proceedings of the 11th International Conference on Principles and Practice of Constraint Programming (CP'05), pp. 757-761, octobre 2005. Sitges, Espagne.[bib] |
|
|
|
[10] Darras S., Dequen G., Devendeville L., Mazure B., R. Ostrowski, Sais L., “Utilisation de la Propagation de Contraintes pour la Production de Sous-Clauses”, in: Premières Journées Francophones de la Programmation par Contraintes (JFPC'05), pp. 69-78, Lens, France, Juin 2005.[bib] |
|
|
|
[11] Gregoire E., R. Ostrowski, Mazure B., Sais L., “Automatic Extraction of Functional Dependencies”, in: The Seventh International Conference on Theory and Applications of Satisfiability Testing (SAT 2004), 2004.[bib] |
|
|
|
[12] Grégoire E., R. Ostrowski, Mazure B., Saïs L., “Déduction Automatique de Dépendances fonctionnelles”, in: Dixièmes Journées Nationales sur la résolution Pratique de Problèmes NP-Complets (JNPC 2004), http://www.info.univ-angers.fr/jnpc2004/, pp. 171-180, Angers, France, Juin 2004.[bib] |
|
|
|
[13] R. Ostrowski, Mazure B., Saïs L., Grégoire E., “Elimination des redondances dans les algorithmes de résolution de SAT”, in: Actes du Quatorzième Congrès Francophone AFRIF-AFIA sur la Reconnaissance des Formes et l'Intelligence Artificielle (RFIA-2004), vol. 3, pp. 1343-1350, Toulouse, France, Janvier 2004.[bib] |
|
|
|
[14] R. Ostrowski, Mazure B., Sais L., Gregoire E., “Eliminating redundancies in SAT search trees”, in: Proc. of the 15th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'2003), pp. 100-104, 2003.[bib] |
|
|
|
[15] R. Ostrowski, Gregoire E., Mazure B., Sais L., “Recovering and exploiting structural knowledge from CNF formulas”, in: Proc. of the Eighth International Conference on Principles and Practice of Constraint Programming (CP'2002), pp. 185-199, Springer Verlag, LNCS 2470, Ithaca (N.Y.), Septembre 2002.[bib] |
|
|
|
[16] R. Ostrowski, Gregoire E., Mazure B., Sais L., “Techniques de simplification de CNF”, in: Actes des 8èmes Journées Nationales sur la Résolution Pratique des Problèmes NP-complets (JNPC2002), pp. 181-194, Nice, France, Mai 2002.[bib] |
|
|
|
[17] R. Ostrowski, Mazure B., Sais L., “LSAT solver”, in: Fifth International Symposium on the Theory and Applications of Satisfiability Testing (SAT 2002), Cincinnati (Ohio, USA), http://gauss.ececs.uc.edu/Conferences/SAT2002/, Mai 2002.[bib] |
|
|
|
[18] R. Ostrowski, Grégoire E., Mazure B., Saïs L., “Recovering and exploiting structural knowledge from CNF formulas”, CRIL, n° LSIS.RR.2002.014, Lens, France, Avril 2002.[bib] |
|
|
|
|
|
|
| Recherche |
|
|
|
|
| Enseignement |
|
|
|
|
| Liens |
|
|
|
|
|
