| 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
|
|
@inproceedings {OstrowskiParis08,
audience = {nationale},
author = {Richard Ostrowski and Lionel Paris},
title = {Des cha\^{i}nes d'\'{e}quivalences dans un codage CNF du probl\`{e}me XSAT},
booktitle = {Actes des quatri\`{e}mes Journ\'{e}es Francophones de Programmation par Contraintes (JFPC’2008)},
address = {Nantes, France},
month = {juin},
year = {2008},
equipe = {INCA}
}
|
|
|
@inproceedings {ParisOstrowskiSiegelSais07,
audience = {internationale},
author = {Lionel Paris and Richard Ostrowski and Pierre Siegel and Lakhdar Sa"Is},
title = {From Horn Strong Backdoor Sets to Ordered Strong BAckdoor Sets},
booktitle = {Proceedings of the 6th Mexican International Conference on Artificial Intelligence (MICAI'07)},
editor = {A. Gelbukh and A.F. Kuri Morales},
series = {LNAI},
volume = {4827},
pages = {105--117},
publisher = {Springer-Verlag},
address = {Aguascalientes, Mexico},
month = {novembre},
year = {2007},
equipe = {INCA}
}
|
|
|
@inproceedings {ParisOstrowski07,
audience = {nationale},
author = {Lionel Paris and Richard Ostrowski},
title = {De la sous-formule polynomiale maximale aux ensembles strong backdoors},
booktitle = {Actes des 8e Rencontres des Jeunes Chercheurs en Intelligence Artificielle (RJCIA'07)},
editor = {Bruno Zanuttini},
pages = {163--178},
address = {Grenoble, France},
month = {juillet},
year = {2007},
equipe = {INCA}
}
|
|
|
@inproceedings {ParisOstrowskiSiegel07,
audience = {nationale},
author = {Lionel Paris and Richard Ostrowski and Pierre Siegel},
title = {Des ensembles Horn strong backdoor aux ensembles ordonn\'{e} strong backdoor},
booktitle = {Actes des troisi\`{e}mes Journ\'{e}es Francophones de Programmation par Contraintes (JFPC’2007)},
pages = {48--57},
address = {Rocquencourt, France},
month = {juin},
year = {2007},
equipe = {INCA}
}
|
|
|
@inproceedings {ParisOstrowskiSaisSiegel06b,
audience = {internationale},
author = {Lionel Paris and Richard Ostrowski and Lakhdar Sa\"{i}s and Pierre Siegel},
title = {Computing Horn Strong Backdoor Sets Thanks to Local Search},
booktitle = {Proceedings of the 18th International Conference on Tools with Artificial Intelligence (ICTAI'06)},
pages = {139--143},
publisher = {IEEE Computer Society},
address = {Washington D.C., United States},
month = {november, 13--15},
year = {2006},
equipe = {INCA}
}
|
|
|
@inproceedings {ParisOstrowskiSaisSiegel06,
audience = {nationale},
author = {Lionel Paris and Richard Ostrowski and Lakhdar Sa\"{i}s and Pierre Siegel},
title = {Approximation d'ensembles Horn strong backdoor par recherche locale},
booktitle = {Actes des deuxi\`{e}mes Journ\'{e}es Francophones de Programmation par Contraintes (JFPC’2006)},
pages = {277--284},
address = {N\^{i}mes, France},
month = {Juin 7--9},
year = {2006},
equipe = {INCA}
}
|
|
|
@inproceedings {GMOS05,
audience = {nationale},
author = {Gregoire E., Mazure B., Ostrowski R., Sais L.},
title = {D\'{e}pendances Fonctionnelles Bool\'{e}ennes : D\'{e}tection et Exploitation},
booktitle = {Actes du Colloque sur l’Optimisation et les Syst\`{e}mes d’Informations (COSI'05)},
pages = {263--274},
year = {2005},
equipe = {INCA}
}
|
|
|
@inproceedings {GOMS05,
audience = {internationale},
author = {Gregoire E. and Ostrowski R. and Mazure B. and Sais L.},
title = {Automatic extraction of functional dependencies},
booktitle = {Theory and Applications of Satisfiability Testing: 7th International Conference (SAT'04, Revised Selected Papers)},
volume = {LNCS 3542},
pages = {122--132},
year = {2005},
equipe = {INCA}
}
|
|
|
@inproceedings {DDDMOS06,
audience = {internationale},
author = {Darras S. and Dequen G. and Devendeville L. and Mazure B. and Ostrowski R. and Sais L.},
title = {Using Boolean Constraint Propagation for Sub-clause Deduction},
booktitle = {Proceedings of the 11th International Conference on Principles and Practice of Constraint Programming (CP'05)},
pages = {757--761},
month = {octobre},
year = {2005},
note = {Sitges, Espagne},
equipe = {INCA}
}
|
|
|
@inproceedings {DDDMOS05,
audience = {nationale},
author = {Darras S. and Dequen G. and Devendeville L. and Mazure B. and Ostrowski R. and Sais L.},
title = {Utilisation de la Propagation de Contraintes pour la Production de Sous-Clauses},
booktitle = {Premi\`{e}res Journ\'{e}es Francophones de la Programmation par Contraintes (JFPC'05)},
pages = {69--78},
address = {Lens, France},
month = {Juin},
year = {2005},
equipe = {INCA}
}
|
|
|
@inproceedings {GOMS04a,
audience = {internationale},
author = {Gregoire E. and Ostrowski R. and Mazure B. and Sais L.},
title = {Automatic Extraction of Functional Dependencies},
booktitle = {The Seventh International Conference on Theory and Applications of Satisfiability Testing (SAT 2004)},
year = {2004},
equipe = {INCA}
}
|
|
|
@inproceedings {GOMS04,
audience = {nationale},
author = {Gr\'{e}goire E. and Ostrowski R. and Mazure B. and Sa\"{i}s L.},
title = {D\'{e}duction Automatique de D\'{e}pendances fonctionnelles},
booktitle = {Dixi\`{e}mes Journ\'{e}es Nationales sur la r\'{e}solution Pratique de Probl\`{e}mes NP-Complets (JNPC 2004)},
organization = {http://www.info.univ-angers.fr/jnpc2004/},
pages = {171--180},
address = {Angers, France},
month = {Juin},
year = {2004},
equipe = {INCA}
}
|
|
|
@inproceedings {OMSG04,
audience = {nationale},
author = {Ostrowski R. and Mazure B. and Sa\"{i}s L. and Gr\'{e}goire E.},
title = {Elimination des redondances dans les algorithmes de r\'{e}solution de SAT},
booktitle = {Actes du Quatorzi\`{e}me Congr\`{e}s Francophone AFRIF-AFIA sur la Reconnaissance des Formes et l'Intelligence Artificielle (RFIA-2004)},
volume = {3},
pages = {1343--1350},
address = {Toulouse, France},
month = {Janvier},
year = {2004},
equipe = {INCA}
}
|
|
|
@inproceedings {OMSG03,
audience = {internationale},
author = {Ostrowski R. and Mazure B. and Sais L. and Gregoire E.},
title = {Eliminating redundancies in SAT search trees},
booktitle = {Proc. of the 15th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'2003)},
pages = {100--104},
year = {2003},
equipe = {INCA}
}
|
|
|
@inproceedings {OGMS02b,
audience = {internationale},
author = {Ostrowski R. and Gregoire E. and Mazure B. and Sais L.},
title = {Recovering and exploiting structural knowledge from CNF formulas},
booktitle = {Proc. of the Eighth International Conference on Principles and Practice of Constraint Programming (CP'2002)},
pages = {185--199},
publisher = {Springer Verlag, LNCS 2470},
address = {Ithaca (N.Y.)},
month = {Septembre},
year = {2002},
equipe = {INCA}
}
|
|
|
@inproceedings {OGMS02a,
audience = {nationale},
author = {Ostrowski R. and Gregoire E. and Mazure B. and Sais L.},
title = {Techniques de simplification de CNF},
booktitle = {Actes des 8\`{e}mes Journ\'{e}es Nationales sur la R\'{e}solution Pratique des Probl\`{e}mes NP-complets (JNPC2002)},
pages = {181--194},
address = {Nice, France},
month = {Mai},
year = {2002},
equipe = {INCA}
}
|
|
|
@conference {OMS02,
author = {Ostrowski R. and Mazure B. and Sais L.},
title = {LSAT solver},
booktitle = {Fifth International Symposium on the Theory and Applications of Satisfiability Testing (SAT 2002)},
organization = {Cincinnati (Ohio, USA)},
address = {http://gauss.ececs.uc.edu/Conferences/SAT2002/},
month = {Mai},
year = {2002},
equipe = {INCA}
}
|
|
|
@techreport {OGMS02,
author = {Ostrowski R. and Gr\'{e}goire E. and Mazure B. and Sa\"{i}s L.},
title = {Recovering and exploiting structural knowledge from CNF formulas},
institution = {CRIL},
number = {LSIS.RR.2002.014},
address = {Lens, France},
month = {Avril},
year = {2002},
equipe = {INCA}
}
|
|
|
|
|
|
|
| Recherche |
|
|
|
|
| Enseignement |
|
|
|
|
| Liens |
|
|
|
|
|
