@article{
    HJN:JSAT2009,
    author = {Hyv{\"a}rinen, Antti and Junttila, Tommi and Niemel{\"a}, Ilkka},
    title = "Incorporating Clause Learning in Grid-Based Randomized {SAT} Solving",
    journal = "Journal on Satisfiability, Boolean Modeling and Computation",
    volume = "6",
    flags = "MCM copy",
    year = "2009",
    internalpdf = "HJN-JSAT2009.pdf",
    pages = "223--244"
}