The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Richard Ostrowski: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Sylvain Darras, Gilles Dequen, Laure Devendeville, Bertrand Mazure, Richard Ostrowski, Lakhdar Sais
    Using Boolean Constraint Propagation for Sub-clauses Deduction. [Citation Graph (0, 0)][DBLP]
    CP, 2005, pp:757-761 [Conf]
  2. Richard Ostrowski, Éric Grégoire, Bertrand Mazure, Lakhdar Sais
    Recovering and Exploiting Structural Knowledge from CNF Formulas. [Citation Graph (0, 0)][DBLP]
    CP, 2002, pp:185-199 [Conf]
  3. Richard Ostrowski, Bertrand Mazure, Lakhdar Sais, Éric Grégoire
    Eliminating Redundancies in SAT Search Trees. [Citation Graph (0, 0)][DBLP]
    ICTAI, 2003, pp:100-104 [Conf]
  4. Lionel Paris, Richard Ostrowski, Pierre Siegel, Lakhdar Sais
    Computing Horn Strong Backdoor Sets Thanks to Local Search. [Citation Graph (0, 0)][DBLP]
    ICTAI, 2006, pp:139-143 [Conf]
  5. Éric Grégoire, Richard Ostrowski, Bertrand Mazure, Lakhdar Sais
    Automatic Extraction of Functional Dependencies. [Citation Graph (0, 0)][DBLP]
    SAT, 2004, pp:- [Conf]
  6. Éric Grégoire, Richard Ostrowski, Bertrand Mazure, Lakhdar Sais
    Automatic Extraction of Functional Dependencies. [Citation Graph (0, 0)][DBLP]
    SAT (Selected Papers, 2004, pp:122-132 [Conf]
  7. Lionel Paris, Richard Ostrowski, Pierre Siegel, Lakhdar Sais
    From Horn Strong Backdoor Sets to Ordered Strong Backdoor Sets. [Citation Graph (0, 0)][DBLP]
    MICAI, 2007, pp:105-117 [Conf]

  8. From XSAT to SAT by Exhibiting Equivalencies. [Citation Graph (, )][DBLP]


  9. Detecting Boolean Functions for Proving Unsatisfiability. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002