Olivier Roussel

Statistics

Publications

Citations

732

H-Index

Active since

2000

Affiliations

Centre National de la Recherche Scientifique(Current)

Université d'Artois

Karlsruhe Institute of Technology

Aix-Marseille Université

Instituto Nacional de Pesquisas Espaciais

Olivier Roussel is an author at Centre National de la Recherche Scientifique specializing in computer science, computing, and computational fluid dynamics.

ORCID

Publications per year

2000–2016

Publications

A conservative fully adaptive multiresolution algorithm for parabolic PDEs

Olivier Roussel, Kai Schneider, Alexei Tsigulin et al. · Journal of Computational Physics · 2003 · 135 citations

Engineering, Computational Engineering, Physics +14

The International SAT Solver Competitions

Matti Järvisalo, Daniel Le Berre, Olivier Roussel et al. · AI Magazine · 2012 · 124 citations · Full text

Computing, Computer Science, Algorithms +9

An adaptive multiresolution scheme with local time stepping for evolutionary PDEs

Margarete Oliveira Domingues, Sônia M. Gomes, Olivier Roussel et al. · Journal of Computational Physics · 2007 · 98 citations

Engineering, Computational Engineering, Physics +14

A Translation of Pseudo-Boolean Constraints to SAT

Olivier Bailleux, Yacine Boufkhad, Olivier Roussel · Journal on Satisfiability Boolean Modeling and Computation · 2006 · 68 citations · Full text

Computing, Computer Science, Algorithms +15

Controlling a Solver Execution with the runsolver Tool

Olivier Roussel · Journal on Satisfiability Boolean Modeling and Computation · 2011 · 66 citations · Full text

Computing, Computer Science, Algorithms +5

1–5 of 15