TY  - JOUR
AU  - Csaba Biró
AU  - Gergely Kovásznai
AU  - Armin Biere
AU  - Gábor Kusper
AU  - Gábor Geda
TI  - Cube-and-Conquer approach for SAT solving on grids
JO  - Annales mathematicae et informaticae
PY  - 2013
SP  - 9
EP  - 21
VL  - 42
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AMI_2013_42_a1/
LA  - en
ID  - AMI_2013_42_a1
ER  -