@misc {IOPORT.70914041,
    author       = {Duchier, Denys and Durand-Lose, J\'er\^ome and Senot, Maxime},
    title        = {Fractal parallelism: solving SAT in bounded space and time},
    howpublished = {ISAAC (1), 279-290 (2010).},
    year         = {2010},
    doi          = {10.1007/978-3-642-17517-6_26},
    identifier   = {70914041},
}