Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Richard
Last name:	Ostrowski
DBLP:	08/3995
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 9 of 9  

Select a publication
Show	Title	Venue	Rating	Date
	Richard Ostrowski, Lionel Paris. Detecting Boolean Functions for Proving Unsatisfiability.	ICTAI 2009, 21st IEEE International Conference on Tools with Artificial Intelligence, Newark, New Jersey, USA, 2-4 November 2009 2009	(0)	2009
	Richard Ostrowski, Lionel Paris. From XSAT to SAT by Exhibiting Equivalencies.	20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2008), November 3-5, 2008, Dayton, Ohio, USA, Volume 1 2008	(0)	2008
	Lionel Paris, Richard Ostrowski, Pierre Siegel, Lakhdar Sais. From Horn Strong Backdoor Sets to Ordered Strong Backdoor Sets.	MICAI 2007	(0)	2007
	Lionel Paris, Richard Ostrowski, Pierre Siegel, Lakhdar Sais. Computing Horn Strong Backdoor Sets Thanks to Local Search.	18th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2006), 13-15 November 2006, Washington, DC, USA 2006	(0)	2006
	Sylvain Darras, Gilles Dequen, Laure Devendeville, Bertrand Mazure, Richard Ostrowski, Lakhdar Sais. Using Boolean Constraint Propagation for Sub-clauses Deduction.	Principles and Practice of Constraint Programming - CP 2005, 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005, Proceedings 2005	(0)	2005
	Éric Grégoire, Richard Ostrowski, Bertrand Mazure, Lakhdar Sais. Automatic Extraction of Functional Dependencies.	SAT 2004 - The Seventh International Conference on Theory and Applications of Satisfiability Testing, 10-13 May 2004, Vancouver, BC, Canada, Online Proceedings 2004	(0)	2004
	Éric Grégoire, Richard Ostrowski, Bertrand Mazure, Lakhdar Sais. Automatic Extraction of Functional Dependencies.	Theory and Applications of Satisfiability Testing, 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers 2005	(0)	2004
	Richard Ostrowski, Bertrand Mazure, Lakhdar Sais, Éric Grégoire. Eliminating Redundancies in SAT Search Trees.	15th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2003), 3-5 November 2003, Sacramento, California, USA 2003	(0)	2003
	Richard Ostrowski, Éric Grégoire, Bertrand Mazure, Lakhdar Sais. Recovering and Exploiting Structural Knowledge from CNF Formulas.	Principles and Practice of Constraint Programming - CP 2002, 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002, Proceedings 2002	(0)	2002

Your query returned 9 matches in the database.