%0 Journal Article
%A Ngoko, Yanik
%A Cérin, Christophe
%A Trystram, Denis
%T Solving SAT in a distributed cloud: A portfolio approach
%J International Journal of Applied Mathematics and Computer Science
%D 2019
%P 261-274
%V 29
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/IJAMCS_2019_29_2_a3/
%G en
%F IJAMCS_2019_29_2_a3