Finite-Volume Solvers for a Multilayer Saint-Venant System.

Emmanuel Audusse Marie-Odile Bristeau

Published in: Int. J. Appl. Math. Comput. Sci. (2007)

Keyphrases

information retrieval
data sets
information systems
case study
multiscale
sat solvers
finite number
state university
finite automata
sat solving