Incorporating Learning in Grid-Based Randomized SAT Solving

Reference:

Antti E. J. Hyvärinen, Tommi Junttila, and Ilkka Niemelä. Incorporating learning in grid-based randomized SAT solving. In Danail Dochev, Marco Pistore, and Paolo Traverso, editors, Artificial Intelligence: Methodology, Systems, and Applications (AIMSA 2008), volume 5253 of Lecture Notes in Artificial Intelligence, pages 247–261. Springer, 2008.

Suggested BibTeX entry:

@inproceedings{HyvarinenJunttilaNiemela:AIMSA2008,
    author = {Antti E. J. Hyv\"arinen and Tommi Junttila and Ilkka Niemel\"a},
    booktitle = {Artificial Intelligence: Methodology, Systems, and Applications (AIMSA 2008)},
    editor = {Danail Dochev and Marco Pistore and Paolo Traverso},
    pages = {247--261},
    publisher = {Springer},
    series = {Lecture Notes in Artificial Intelligence},
    title = {Incorporating Learning in Grid-Based Randomized {SAT} Solving},
    volume = {5253},
    year = {2008},
}