Searching for authors named "Olivier Roussel" – sorted by Relevance.
8 documents found, showing 1 through 8.
-
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
Showing 1 through 8.
