Incorporating Clause Learning in Grid-Based Randomized SAT Solving

Reference:

Antti E. J. Hyvärinen, Tommi Junttila, and Ilkka Niemelä. Incorporating clause learning in grid-based randomized SAT solving. Journal on Satisfiability, Boolean Modeling and Computation, 6:223–244, 2009.

Suggested BibTeX entry:

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

This work is not available online here.