Strategies for Solving SAT in Grids by Randomized Search (2008)
AUTHORS:
Hyvärinen Antti E. J.,
Junttila Tommi
,
Niemelä Ilkka
BOOKTITLE:
Proceedings of the 9th Conference on Artificial Intelligence and Symbolic Computation (AISC 2008)
SERIES:
Lecture Notes in Artificial Intelligence
VOLUME:
5144
PAGES:
125--140
URL:
http://www.tcs.hut.fi/~aehyvari/publications/publications_by_year.shtml
@inproceedings{ HyvarinenJunttilaNiemela:AISC2008, author = {Hyv{\"a}rinen, Antti E. J. and Junttila, Tommi and Niemel{\"a}, Ilkka}, publisher = "Springer", title = "Strategies for Solving {SAT} in {G}rids by Randomized Search", url = "http://www.tcs.hut.fi/~aehyvari/publications/publications_by_year.shtml", series = "Lecture Notes in Artificial Intelligence", booktitle = "Proceedings of the 9th Conference on Artificial Intelligence and Symbolic Computation (AISC 2008)", volume = "5144", flags = "MCM public copy", year = "2008", pages = "125--140" }