Richard Ostrowski

According to our database, Richard Ostrowski authored at least 11 papers between 2002 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2020

Another Way to Browse the Search Space For Some Transformations from CSP to SAT.

Richard Ostrowski, Lionel Paris, Adrien Varet

Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2020

2010

Enhancing Clause Learning by Symmetry in SAT Solvers.

Belaid Benhamou, Tarek Nabhani, Richard Ostrowski, Mohamed Réda Saïdi

Proceedings of the 22nd IEEE International Conference on Tools with Artificial Intelligence, 2010

2009

From XSAT to SAT by Exhibiting Boolean Functions.

Richard Ostrowski, Lionel Paris

Int. J. Artif. Intell. Tools, 2009

Detecting Boolean Functions for Proving Unsatisfiability.

Richard Ostrowski, Lionel Paris

Proceedings of the ICTAI 2009, 2009

2008

From XSAT to SAT by Exhibiting Equivalencies.

Richard Ostrowski, Lionel Paris

Proceedings of the 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2008), 2008

2007

From Horn Strong Backdoor Sets to Ordered Strong Backdoor Sets.

Lionel Paris, Richard Ostrowski, Pierre Siegel, Lakhdar Sais

Proceedings of the MICAI 2007: Advances in Artificial Intelligence, 2007

2006

Computing Horn Strong Backdoor Sets Thanks to Local Search.

Lionel Paris, Richard Ostrowski, Pierre Siegel, Lakhdar Sais

Proceedings of the 18th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2006), 2006

2005

Using Boolean Constraint Propagation for Sub-clauses Deduction.

Sylvain Darras, Gilles Dequen, Laure Devendeville, Bertrand Mazure, Richard Ostrowski, Lakhdar Sais

Proceedings of the Principles and Practice of Constraint Programming, 2005

2004

Automatic Extraction of Functional Dependencies.

Éric Grégoire, Richard Ostrowski, Bertrand Mazure, Lakhdar Sais

Proceedings of the Theory and Applications of Satisfiability Testing, 2004

2003

Eliminating Redundancies in SAT Search Trees.

Richard Ostrowski, Bertrand Mazure, Lakhdar Sais, Éric Grégoire

Proceedings of the 15th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2003), 2003

2002

Recovering and Exploiting Structural Knowledge from CNF Formulas.

Richard Ostrowski, Éric Grégoire, Bertrand Mazure, Lakhdar Sais

Proceedings of the Principles and Practice of Constraint Programming, 2002