Richard Ostrowski

Publication Activity (10 Years)

Years Active: 2002-2020
Publications (10 Years): 1

Top Topics

Propositional Satisfiability

Reduce The Search Space

Tractable Classes

Top Venues

Publications

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