Searching for authors named "Olivier Roussel" – sorted by Relevance.
-
How to Use Cycles for Logical Compilation
- How to Use Cycles for Logical Compilation Olivier ROUSSEL and Philippe MATHIEU 1 Abstract
- Add To MetaCart
-
A New Method for Knowledge Compilation: the Achievement by Cycle Search
- A New Method for Knowledge Compilation: the Achievement by Cycle Search Olivier ROUSSEL
- Cited by 2 (1 self) – Add To MetaCart
-
Exact Knowledge Compilation in Predicate Calculus: the Partial Achievement Case
- Exact Knowledge Compilation in Predicate Calculus: the Partial Achievement Case Olivier ROUSSEL
- Cited by 2 (0 self) – Add To MetaCart
-
Preface
- M.R.C. van Dongen, Christophe Lecoutre, and Olivier Roussel (Editors) Proceedings of the Second
- Add To MetaCart
-
Adaptive Mesh Refinement: A Wavelet Point Of View
- Roussel ?y and Marc P. Errera ? ? Office National d'Etudes et de Recherches A'erospatiales (ONERA
- Add To MetaCart
-
The first evaluation of pseudo-boolean solvers (PB05
- University of Lisbon Rua Alves Redol n. 9 - sala 329 1000-029 Lisboa – Portugal Olivier Roussel olivier.roussel
- Cited by 4 (0 self) – Add To MetaCart
-
ON SPACE–TIME ADAPTIVE SCHEMES FOR THE NUMERICAL SOLUTION OF PDES ∗, ∗∗, ∗∗∗
- ∗, ∗∗, ∗∗∗ Margarete O. Domingues 1, 2 , Olivier Roussel3 1, 4 and Kai Schneider Abstract. A fully adaptive numerical
- Add To MetaCart
-
OpenSAT: An Open Source SAT Software Project
- Roussel 1? , In^es Lynce 2 , and Jo~ao Marques-Silva 2 ?? 1 CRIL/CNRS, Universite d'Artois, Lens
- Cited by 1 (0 self) – Add To MetaCart

