%0 Journal Article
%A Csaba Biró
%A Gergely Kovásznai
%A Armin Biere
%A Gábor Kusper
%A Gábor Geda
%T Cube-and-Conquer approach for SAT solving on grids
%J Annales mathematicae et informaticae
%D 2013
%P 9-21
%V 42
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AMI_2013_42_a1/
%G en
%F AMI_2013_42_a1