@article{AMI_2013_42_a1,
     author = {Csaba Bir\'o and Gergely Kov\'asznai and Armin Biere and G\'abor Kusper and G\'abor Geda},
     title = {Cube-and-Conquer approach for {SAT} solving on grids},
     journal = {Annales mathematicae et informaticae},
     pages = {9--21},
     publisher = {mathdoc},
     volume = {42},
     year = {2013},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/AMI_2013_42_a1/}
}