Richard Ostrowski

12 papers A 3B 3Misc 1Journal 1Unranked 4
YearRankTypeTitle / Venue / Authors
2020 Misc conf
Another Way to Browse the Search Space For Some Transformations from CSP to SAT.
ISAIM
Richard Ostrowski, Lionel Paris, Adrien Varet
2010 — conf
Enhancing Clause Learning by Symmetry in SAT Solvers.
ICTAI (1)
Belaid Benhamou, Tarek Nabhani, Richard Ostrowski, Mohamed Réda Saïdi
2009 B conf
Detecting Boolean Functions for Proving Unsatisfiability.
ICTAI
Richard Ostrowski, Lionel Paris
2009 J jnl
From XSAT to SAT by Exhibiting Boolean Functions.
Int. J. Artif. Intell. Tools
Richard Ostrowski, Lionel Paris
2008 — conf
From XSAT to SAT by Exhibiting Equivalencies.
ICTAI (1)
Richard Ostrowski, Lionel Paris
2007 — conf
From Horn Strong Backdoor Sets to Ordered Strong Backdoor Sets.
MICAI
Lionel Paris, Richard Ostrowski, Pierre Siegel, Lakhdar Sais
2006 B conf
Computing Horn Strong Backdoor Sets Thanks to Local Search.
ICTAI
Lionel Paris, Richard Ostrowski, Pierre Siegel, Lakhdar Sais
2005 A conf
Using Boolean Constraint Propagation for Sub-clauses Deduction.
CP
Sylvain Darras, Gilles Dequen, Laure Devendeville, Bertrand Mazure, Richard Ostrowski, Lakhdar Sais
2004 A conf
Automatic Extraction of Functional Dependencies.
SAT
Éric Grégoire, Richard Ostrowski, Bertrand Mazure, Lakhdar Sais
2004 — conf
Automatic Extraction of Functional Dependencies.
SAT (Selected Papers
Éric Grégoire, Richard Ostrowski, Bertrand Mazure, Lakhdar Sais
2003 B conf
Eliminating Redundancies in SAT Search Trees.
ICTAI
Richard Ostrowski, Bertrand Mazure, Lakhdar Sais, Éric Grégoire
2002 A conf
Recovering and Exploiting Structural Knowledge from CNF Formulas.
CP
Richard Ostrowski, Éric Grégoire, Bertrand Mazure, Lakhdar Sais