Geodesic
Cube-and-Conquer approach for SAT solving on grids
Annales mathematicae et informaticae, Tome 42 (2013), pp. 9-21.

Voir la notice de l'article provenant de la source Annales Mathematica et Informaticae website

@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/}
}
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  - 
%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
Csaba Biró; Gergely Kovásznai; Armin Biere; Gábor Kusper; Gábor Geda. Cube-and-Conquer approach for SAT solving on grids. Annales mathematicae et informaticae, Tome 42 (2013), pp. 9-21. http://geodesic.mathdoc.fr/item/AMI_2013_42_a1/