@inproceedings{
    HyvarinenJunttilaNiemela:AIMSA2008,
    author = {Hyv{\"a}rinen, Antti E. J. and Junttila, Tommi and Niemel{\"a}, Ilkka},
    publisher = "Springer",
    title = "Incorporating Learning in Grid-Based Randomized {SAT} Solving",
    url = "http://www.tcs.hut.fi/~aehyvari/publications/publications_by_year.shtml",
    series = "Lecture Notes in Artificial Intelligence",
    booktitle = "Proceedings of the 13th International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA 2008)",
    volume = "5253",
    flags = "MCM public copy",
    year = "2008",
    pages = "247--261"
}