Reference:
Antti E. J. Hyvärinen, Tommi Junttila, and Ilkka Niemelä. Incorporating learning in grid-based randomized SAT solving. In Proceedings of the 13th International Conference on Artificial Intelligence: Methodology, Systems, 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{\"a}rinen and Tommi Junttila and Ilkka Niemel{\"a}},
booktitle = {Proceedings of the 13th International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA 2008)},
pages = {247--261},
publisher = {Springer},
series = {Lecture Notes in Artificial Intelligence},
title = {Incorporating Learning in Grid-Based Randomized {SAT} Solving},
volume = {5253},
year = {2008},
}
|