Richard Ostrowski
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
4
Active years
2002–2020
Best venue rank
B
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | ISAIM | Another Way to Browse the Search Space For Some Transformations from CSP to SAT. | Richard Ostrowski, Lionel Paris, Adrien Varet |
| 2010 | ICTAI | Enhancing Clause Learning by Symmetry in SAT Solvers. | Belaid Benhamou, Tarek Nabhani, Richard Ostrowski, Mohamed Rda Sadi |
| 2009 | ICTAI | Detecting Boolean Functions for Proving Unsatisfiability. | Richard Ostrowski, Lionel Paris |
| 2008 | ICTAI | From XSAT to SAT by Exhibiting Equivalencies. | Richard Ostrowski, Lionel Paris |
| 2006 | ICTAI | Computing Horn Strong Backdoor Sets Thanks to Local Search. | Lionel Paris, Richard Ostrowski, Pierre Siegel, Lakhdar Sais |
| 2005 | CP | Using Boolean Constraint Propagation for Sub-clauses Deduction. | Sylvain Darras, Gilles Dequen, Laure Devendeville, Bertrand Mazure, Richard Ostrowski, Lakhdar Sais |
| 2004 | SAT | Automatic Extraction of Functional Dependencies. | ric Grgoire, Richard Ostrowski, Bertrand Mazure, Lakhdar Sais |
| 2004 | SAT | Automatic Extraction of Functional Dependencies. | ric Grgoire, Richard Ostrowski, Bertrand Mazure, Lakhdar Sais |
| 2003 | ICTAI | Eliminating Redundancies in SAT Search Trees. | Richard Ostrowski, Bertrand Mazure, Lakhdar Sais, ric Grgoire |
| 2002 | CP | Recovering and Exploiting Structural Knowledge from CNF Formulas. | Richard Ostrowski, ric Grgoire, Bertrand Mazure, Lakhdar Sais |